Re: [Python-ideas] time.wallclock() or other similar stuff