sclass Timed extends Var { double ms; *() {} *(A value, long *ms) { super(value); } *(A value, double *ms) { super(value); } toString { ret "[" + formatDouble(ms, 3) + " ms] " + super.toString(); } double ms() { ret ms; } double nanos() { ret msToNanos(ms); } }