fix PHP_INT_MAX error