PHP_INT_MAX в windows_x64 php_x64 5.5
Я вот такое нарыл: stackoverflow.com/questions/864058/how-to-have-64-bit-integer-on-php
Т.е. фича винды, long int — 4 байта и на 32 и на 64-битных архитектурах, а под Linux — 4 и 8, соответственно.
Судя по этому треду на stackoverflow, имеются какие-то нюансы сборки PHP 64-битной версии под Windows, когда в C-коде в качестве int переменных продолжают использоваться 4-байтовые значения типа LONG. Под Linux такой проблемы нет, если я правильно понял.