show benchmarking times with thousand separators