printf "%.32f\n", 1/10; 0.10000000000000001000000000000000