Correct. I guess I assumed that they were not of interest. It would be easy to also add these times.

We could also measure them separately by starting, for example, 2 timers, then adding measurement for the desired metric and throwing out the other one. Not only would this give us times, but also counts.