public final double max()  { if (VM.VerifyAssertions) VM.assert(count > 0); return max; }
public final double max()  { if (VM.VerifyAssertions) VM._assert(count > 0); return max; }
  public final double max()  { if (VM.VerifyAssertions) VM.assert(count > 0); return max; }