Description:
------------
The following code should output exactly the same number in both echo cases but it doesn't. However, multiply the number by 1000 instead of the 100 on the first line and everything will work fine.

Reproduce code:
---------------
<?php
        $test = (642 + 0.56) * 100;
        echo $test . "\n";
        $test = intval ($test);
        echo $test;
?>


Expected result:
----------------
64256
64256

Actual result:
--------------
64256
64255

Very weird, I have only seen it happen with this particular case.