is_float($_SERVER['REQUEST_TIME_FLOAT'])