Increase precision for reporting time stamp in coro profiler.