code: def ms_to_timestamp(ms):
      
      # XXX throw on overflow/underflow?
      if ms < 0: ms = 0
      if ms > MAX_REPRESENTABLE_TIME: ms = MAX_REPRESENTABLE_TIME
      h, m, s, ms = ms_to_times(ms)
      return "%01d:%02d:%02d.%02d" % (h, m, s, ms//10)
docs: Convert ms to 'H:MM:SS.cc