Description:
------------
When printing out a floating point number using printf (or storing 
it with sprintf, or casting it as an int) it gives an incorrect 
number.  This appears to be due to floating point math being 
inaccurate.

Reproduce code:
---------------
<?php
$val = 309;
for ($x = 0; $x < 950; $x++)
        $val += 0.001;
var_dump($val);
echo $val . "\n";
$val = $val * 100;
var_dump($val);
echo $val . "\n";
printf ("%d\n", $val);
echo (int)$val . "\n";
?>


Expected result:
----------------
float(309.95)
309.95
float(30995)
30995
30995
30995


Actual result:
--------------
float(309.95)
309.95
float(30995)
30995
30994
30994