CAST_TO_NUMBER   7327 third_party/libxml/src/xpath.c     CAST_TO_NUMBER;
CAST_TO_NUMBER   7363 third_party/libxml/src/xpath.c     CAST_TO_NUMBER;
CAST_TO_NUMBER   7386 third_party/libxml/src/xpath.c     CAST_TO_NUMBER;
CAST_TO_NUMBER   7409 third_party/libxml/src/xpath.c     CAST_TO_NUMBER;
CAST_TO_NUMBER   7432 third_party/libxml/src/xpath.c     CAST_TO_NUMBER;
CAST_TO_NUMBER   7473 third_party/libxml/src/xpath.c     CAST_TO_NUMBER;
CAST_TO_NUMBER   9008 third_party/libxml/src/xpath.c 	CAST_TO_NUMBER;
CAST_TO_NUMBER   9015 third_party/libxml/src/xpath.c     CAST_TO_NUMBER;
CAST_TO_NUMBER   9532 third_party/libxml/src/xpath.c     CAST_TO_NUMBER;
CAST_TO_NUMBER   9559 third_party/libxml/src/xpath.c     CAST_TO_NUMBER;
CAST_TO_NUMBER   9596 third_party/libxml/src/xpath.c     CAST_TO_NUMBER;
CAST_TO_NUMBER   13242 third_party/libxml/src/xpath.c                 CAST_TO_NUMBER;
CAST_TO_NUMBER    624 third_party/libxslt/libxslt/functions.c 	CAST_TO_NUMBER;