Description:
------------
The following code will print a 64-bit value on my 64-bit system. As far as I understand all variables are guaranteed to be 32-bit in PHP?

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

$a = 0;
echo dechex(~$a);

?>

Expected result:
----------------
ffffffff

Actual result:
--------------
ffffffffffffffff