La Cosa è strana:

Uso NETBEANS per scrivere i listati, se vado a scrivere PHP_INT_MAX mi da come valore 9223372036854775807 (che da ricerche è quello delle versioni 64BIT) ; se faccio fare echo nel browser il valore è 2147483647 (che è il valore a 32Bit) quindi non capisco dove possa essere l'errore o il bug..