Description:
------------
crc32() function result differs on 32-bit and 64-bit platforms which break compatibility.
there is very ugly workaround like using dechex(crc32()) but this means that all the code must be reviewed before migrating to any platform which is not 32bit.
Even there is no unsigned integer in PHP, this function must return the same numeric result. And sure this buggy behavior must be well documented.


Reproduce code:
---------------
php -r ' echo crc32("platform independant") . "\n";'

Expected result:
----------------
-858128794

Actual result:
--------------
3436838502