sclass PreciselyTimed<A> extends Var<A> {
  double ms;
  
  *() {}
  *(A value, double *ms) { super(value); }
  
  toString { ret "[" + formatDouble_significant(ms, 3) + " ms] " + super.toString(); }
}