printf "%.20f => %.0f", 0.5, 0.5;
# prints
0.50000000000000000000 => 1