Encodes as "hh:mm:ss.FFF".
@override String toZinc() { StringBuffer s = StringBuffer(); encode(s); return s.toString(); }