PHP_JSON_DOUBLE_MAX_LENGTH   37 ext/json/json_encoder.c #define PHP_JSON_DOUBLE_MAX_LENGTH (3 + DBL_MANT_DIG - DBL_MIN_EXP)
PHP_JSON_DOUBLE_MAX_LENGTH   39 ext/json/json_encoder.c #define PHP_JSON_DOUBLE_MAX_LENGTH 1080