FILTER_SANITIZE_NUMBER_INT   60 ext/filter/filter.c 	{ "number_int",      FILTER_SANITIZE_NUMBER_INT,    php_filter_number_int      },
FILTER_SANITIZE_NUMBER_INT  249 ext/filter/filter.c 	REGISTER_LONG_CONSTANT("FILTER_SANITIZE_NUMBER_INT", FILTER_SANITIZE_NUMBER_INT, CONST_CS | CONST_PERSISTENT);