fixed a number rounding issue in chisels' format_time_interval()