Fix #7420 – indexing a FloatRange with an OrdinalRange.
factor out code for printing `@time` results.

This would normally not be a big deal, but we're emitting this code.