Introduce Str.formatTime() API