DBL_MANT_DIG       37 ext/json/json.c #if defined(DBL_MANT_DIG) && defined(DBL_MIN_EXP)
DBL_MANT_DIG       38 ext/json/json.c #define NUM_BUF_SIZE (3 + DBL_MANT_DIG - DBL_MIN_EXP)
DBL_MANT_DIG       36 ext/json/json_encoder.c #if defined(DBL_MANT_DIG) && defined(DBL_MIN_EXP)
DBL_MANT_DIG       37 ext/json/json_encoder.c #define PHP_JSON_DOUBLE_MAX_LENGTH (3 + DBL_MANT_DIG - DBL_MIN_EXP)