FILTER_SANITIZE_NUMBER_INT   59 filter/filter.c 	{ "number_int",      FILTER_SANITIZE_NUMBER_INT,    php_filter_number_int      },
FILTER_SANITIZE_NUMBER_INT  247 filter/filter.c 	REGISTER_LONG_CONSTANT("FILTER_SANITIZE_NUMBER_INT", FILTER_SANITIZE_NUMBER_INT, CONST_CS | CONST_PERSISTENT);