zend_ini_double    85 Zend/zend_ini.h ZEND_API double zend_ini_double(char *name, uint name_length, int orig);
zend_ini_double   140 Zend/zend_ini.h #define INI_FLT(name) zend_ini_double((name), sizeof(name)-1, 0)
zend_ini_double   145 Zend/zend_ini.h #define INI_ORIG_FLT(name)	zend_ini_double((name), sizeof(name)-1, 1)
zend_ini_double    88 main/php_ini.h #define php_ini_double	zend_ini_double