printf("%.15f", 9.55);   # prints 9.550000000000001
printf("%.15f", 43.55);   # prints 43.549999999999997