Description:
------------
Hi!

I found a strange bug today.
I have a float variable which contains 3876.0000, I want to pass it through the 
intval() function.
I know it's already an integer because there is no decimals, but the strange thing 
is that intval() don't return 3876 but 3875.

I experience the same thing with explicite cast.

Test script:
---------------
$tmp = 1370 * 1.15;
echo $tmp . "<br />"; // echo 3875.5
$tmp += 0.5;
echo $tmp . "<br />"; // echo 3876
$tmp = intval($tmp);
echo "tmp= ". $tmp . "<br />"; // echo 3875

========

Same thing with an explicite cast: $tmp = (int)$tmp;

Expected result:
----------------
I expect that the last echo output 3876

Actual result:
--------------
The last echo output 3875 instead of 3876.