Description:
------------
Sample code below returns 112 instead of 113. echo (int)(113); and echo 1.13*100; 
works just fine.

Other numbers like 2.13, 1.14 works fine

Well, in fact i use php 5.3.3. No i wont upgrade. I've post some bug a few years 
ago and still get no response. So i post it here just in case. Go ahead, mark it 
as "could not reproduce" and go get one more cup of coffee... Or you can really 
check it, bug looks a bit ugly.

Test script:
---------------
<?php

echo (int)(1.13*100);

?>

Expected result:
----------------
113

Actual result:
--------------
112