IS_ASCII_DIGIT   2358 third_party/libxml/src/HTMLparser.c            ((IS_ASCII_LETTER(CUR)) || (IS_ASCII_DIGIT(CUR)) ||
IS_ASCII_DIGIT   2392 third_party/libxml/src/HTMLparser.c            ((IS_ASCII_LETTER(NXT(1+i))) || (IS_ASCII_DIGIT(NXT(1+i))) ||
IS_ASCII_DIGIT   10372 third_party/libxml/src/xpath.c     } else if (IS_ASCII_DIGIT(CUR) || (CUR == '.' && IS_ASCII_DIGIT(NXT(1)))) {
IS_ASCII_DIGIT   10484 third_party/libxml/src/xpath.c 	(IS_ASCII_DIGIT(CUR)) ||
IS_ASCII_DIGIT   10486 third_party/libxml/src/xpath.c 	(CUR == '.' && IS_ASCII_DIGIT(NXT(1)))) {