time(1) just shows fewer decimal places than bash's time, and
I didn't notice!

Reverse the input so we can just pop entries off the end as we use
them, instead of tracking offsets horribly.