> printf "%.100f\n", .3
0.3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
> printf "%.100f\n", 3e-1
0.3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
> printf "%.100f\n", Num(.3)
0.3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000