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

Both pieces of information are handy when you store the return value for later comparison of many return values -- simply because you often don't remember which settings you used exactly.