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(); } }