Description:
------------
I've ran into some difficulty attempting to figure out what the maximum size of the exponent in floats is.

Reproduce code:
---------------
<?
$x = 2;
$y = 1;
for ($bits=1; ($x*=2) > ($y*=2); $bits++);
echo $bits;
?> 

Expected result:
----------------
Assuming php.net's statement about the 64-bit IEEE standard being the most common representation of float, I'd expect to get 1024 as the result.

Actual result:
--------------
On Windows, I do indeed get the correct result.  On Linux, all I get are timeout errors.  I've tried it with both PHP4 and PHP5 and get the same results for each.