public double ReadDoubleOr(String k, double or) { Object rv = ReadOr(k, or); if (rv == Nil) return or; return parse ? Double_.parse((String) rv) : Double_.cast(rv); }
public double ReadDouble(String k) { Object rv = ReadOr(k, 0); if (rv == Nil) ThrowNotFound(k); return parse ? Double_.parse((String) rv) : Double_.cast(rv); }