php_filter_number_float   62 ext/filter/filter.c 	{ "number_float",    FILTER_SANITIZE_NUMBER_FLOAT,  php_filter_number_float    },
php_filter_number_float   93 ext/filter/php_filter.h void php_filter_number_float(PHP_INPUT_FILTER_PARAM_DECL);