Description:
------------
Hexadecimal values that don't fit a 32-bit size are not converted to float as specified on documentation:

"Integer overflow
If you specify a number beyond the bounds of the integer type, it will be interpreted as a float instead."

This works for decimal numbers, but not hexadecimal.


Reproduce code:
---------------
<?php

$myvalue = 0x100000000;  // 33-bit value
//$myvalue = 4294967296;

echo $myvalue."<br>";

var_dump( $myvalue );

?>

Expected result:
----------------
4294967296
float(4294967296)

(0x100000000)


Actual result:
--------------
2147483647
int(2147483647)

(0x7FFFFFFF)