There are many occurrences of 'avg_time' metrics alongside 'num_ops' metrics, wouldn't it be wiser to have also a 'total_time' metric, so the average time could be computed on any interval by just computing deltas in num_ops and in total_time and diving the latter by the former?
Mathias.
