Logger::_microtime_float PHP Method

    public function _microtime_float()
    {
        list($usec, $sec) = explode(' ', microtime());
        return (double) $usec + (double) $sec;
    }