Wollt ich auch schon schreiben, hab's dann aber doch gelassen ;-)

Aber ich betrachte das nicht unbedingt als unnötige Arbeit. Wenn schon sowas dargestellt wird, würde ich die Zeiten auch - hm, wie sag ich's - korrekt gerundet sehen wollen ;-)

Aufgrund der seltenen Fälle, bei denen das wirklich auffällt, sehe ich da nun absolut keine Priorität drin; wenn Du mal Langeweile oder Lust hast, reicht das auch ;-)

Oder wie von Dir selber vorgeschlagen, sowas wie "gerade eben" bei Zeiten < 3 Minuten (oder so).