double doubleOr(String key, double dflt) { if ( members.containsKey(key) ) { VlJson v = members[key]!; if ( v.kind == 2 ) { return v.num; } } return dflt; }