Re: [Python-ideas] millisecond and microsecond times without floats