PHP-1095: 32bit platform improvements