BEGIN { print int(3.9), int(-3.9); printf "%.0f\n", 3.9 }