public float ReadFloatOr(String k, float or) {
Object rv = ReadOr(k, or);
if (rv == Nil) return or;
return parse ? Float_.parse((String) rv) : Float_.cast(rv);
}
public float ReadFloat(String k) {
Object rv = ReadOr(k, 0);
if (rv == Nil) ThrowNotFound(k);
return parse ? Float_.parse((String) rv) : Float_.cast(rv);
}