Issue #13478: document timeit.default_timer()
1 file changed