Здравствуйте! Есть ли способ записать в лог $request_time точнее, чем в секундах? Необходимо для измерения суммарного времени всех запросов к сайту. Может есть какой другой способ?