Re: [Python-ideas] Add time.time_ns(): system clock with nanosecond resolution