request_time_float  595 main/php_variables.c 	zval request_time_float, request_time_long;
request_time_float  617 main/php_variables.c 	ZVAL_DOUBLE(&request_time_float, sapi_get_request_time());
request_time_float  618 main/php_variables.c 	php_register_variable_ex("REQUEST_TIME_FLOAT", &request_time_float, &PG(http_globals)[TRACK_VARS_SERVER]);
request_time_float  619 main/php_variables.c 	ZVAL_LONG(&request_time_long, zend_dval_to_lval(Z_DVAL(request_time_float)));