use format_time_interval() to render the times in the fileslower chisel