RsD0p9BK
11/29/2016 - 6:26 AM

php__convert_64_to_32.php

// Convert from 64bit number to 32bit number

$y = $x & 0xffffffff;

// http://stackoverflow.com/questions/11691748/convert-from-64bit-number-to-32bit-number