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.