PHP_JSON_INT_MAX_LENGTH  304 ext/json/json_scanner.c 		if (digits >= PHP_JSON_INT_MAX_LENGTH) {
PHP_JSON_INT_MAX_LENGTH  305 ext/json/json_scanner.c 			if (digits == PHP_JSON_INT_MAX_LENGTH) {
PHP_JSON_INT_MAX_LENGTH  306 ext/json/json_scanner.c 				int cmp = strncmp((char *) (s->token + negative), LONG_MIN_DIGITS, PHP_JSON_INT_MAX_LENGTH);