php_get_inf      4023 ext/standard/basic_functions.c 	REGISTER_DOUBLE_CONSTANT("INF", php_get_inf(), CONST_CS | CONST_PERSISTENT);
php_get_inf       245 ext/standard/basic_functions.h PHPAPI double php_get_inf(void);
php_get_inf       972 ext/standard/var_unserializer.c 		ZVAL_DOUBLE(*rval, php_get_inf());
php_get_inf       974 ext/standard/var_unserializer.c 		ZVAL_DOUBLE(*rval, -php_get_inf());