Masalah dengan PHP_INT_MAX

Sistem saya adalah 64-bit Saya memasukkan PHP_INT_MAX dalam bahagian kajian ini, tetapi hasil output sememangnya nilai maksimum mesin 32-bit Adakah ini berkaitan dengan PHP 32-bit yang saya pasang?