PHP_JSON_DOUBLE_MAX_LENGTH  106 ext/json/json_encoder.c 	char num[PHP_JSON_DOUBLE_MAX_LENGTH];
PHP_JSON_DOUBLE_MAX_LENGTH  109 ext/json/json_encoder.c 	if (options & PHP_JSON_PRESERVE_ZERO_FRACTION && strchr(num, '.') == NULL && len < PHP_JSON_DOUBLE_MAX_LENGTH - 2) {