INTEGER_DIGITS   5563 third_party/libxml/src/xmlschemastypes.c #define INTEGER_DIGITS DBL_DIG
INTEGER_DIGITS   2653 third_party/libxml/src/xpath.c #define INTEGER_DIGITS DBL_DIG