- var_dump: documentation ( source)
- printf: documentation ( source)
<?php
printf("%0.10f\n", 1.3760199999999999999999);
printf("%0.10f\n", 1.37601 + 250 * 0.00001);
echo "\n";
printf("%0.20f\n", 0.2);
printf("%0.20f\n", 0.3);
var_dump(0.3 == 0.1+0.1+0.1);