Description:
------------
I expect any number, divided by 10 times itself, then converted to a string, to yield "0.1"

In this release, sometimes I get "0.0:" (yes, that's 0.0 with a trailing colon character)

I have tested on i386 and amd64.  amd64 behaves as expected.  i386 gives the invalid result.

Original bug report by Brett Kiefer on Ubuntu Launchpad: https://bugs.launchpad.net/ubuntu/+source/php5/+bug/218891


Reproduce code:
---------------
<?php
        for ($d = 0.10; $d < 1; $d = $d + 0.1) print $d * 10 . " " . ($d / ($d * 10)) . "\n";
?>

Expected result:
----------------
1 0.1
2 0.1
3 0.1
4 0.1
5 0.1
6 0.1
7 0.1
8 0.1
9 0.1
10 0.1

Actual result:
--------------
1 0.1
2 0.1
3 0.1
4 0.1
5 0.1
6 0.0:
7 0.0:
8 0.1
9 0.0:
10 0.1