XContest PHP_INT_MAX