Improved time estimate printing

- Now shows the time in seconds/minutes/hours/days/years
    Rather than just 12345678 minutes.
- Set decimal printing to a fixed precision, so that the text
    doesn't "bounce" around when precision changes.