Convert a time span to a human-readable string, e.g. "1:23:45.778" (versus "1.396h" from Time.Span.to_string).
Time.Span.to_string