PHP 5.3 support ($_SERVER['REQUEST_TIME_FLOAT'])