srecord Seconds(double seconds) is Comparable { double seconds aka get() { ret seconds; } toString { ret formatDouble(seconds, 3) + " s"; } public int compareTo(Seconds s) { ret cmp(seconds, s.seconds); } }