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