$__format = constant('__FORMAT_READ_32');
$__step = constant('__STEP_32');
-if ((isset($_SERVER['argv'][1])) && ($_SERVER['argv'][1] == '-64')) {
+if (PHP_INT_SIZE === 8) {
// Use 64-bit
$__factor = constant('__FACTOR_64');
$__format = constant('__FORMAT_READ_64');