Re: [Python-ideas] add a time decorator to timeit.py