INI_FLT          4737 ext/date/php_date.c 			latitude = INI_FLT("date.default_latitude");
INI_FLT          4739 ext/date/php_date.c 			longitude = INI_FLT("date.default_longitude");
INI_FLT          4742 ext/date/php_date.c 				zenith = INI_FLT("date.sunset_zenith");
INI_FLT          4744 ext/date/php_date.c 				zenith = INI_FLT("date.sunrise_zenith");