sS srtFormatTime(double seconds) {
  int wholeSec = ifloor(seconds);
  S ms = formatInt(ifloor(frac(seconds)*1000), 3);
  S sec = formatInt(wholeSec % 60, 2);
  int wholeMin = wholeSec/60;
  S min = formatInt(wholeMin % 60, 2);
  int wholeHours = wholeMin/60;
  S hours = formatInt(wholeHours, 2);
  ret hours + ":" + min + ":" + sec + "," + ms;
}