Benchmark.times: include total time and number of times run in output