// Convert from 64bit number to 32bit number $y = $x & 0xffffffff; // http://stackoverflow.com/questions/11691748/convert-from-64bit-number-to-32bit-number