zend_ini_double   103 Zend/zend_ini.h ZEND_API double zend_ini_double(char *name, uint name_length, int orig);
zend_ini_double   158 Zend/zend_ini.h #define INI_FLT(name) zend_ini_double((name), sizeof(name), 0)
zend_ini_double   163 Zend/zend_ini.h #define INI_ORIG_FLT(name)	zend_ini_double((name), sizeof(name), 1)
zend_ini_double    87 main/php_ini.h #define php_ini_double	zend_ini_double