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