case "isNaN": { double d = toDouble(a0); return d == d ? F : T; }
case "isFinite": { double d = toDouble(a0); return (d == d && !Double.isInfinite(d)) ? T : F; }
case "decodeURI": throw new JSExn("unimplemented");
case "isNaN": { double d = toDouble(a0); return d == d ? F : T; }
case "isFinite": { double d = toDouble(a0); return (d == d && !Double.isInfinite(d)) ? T : F; }
case "decodeURI": throw new JSExn("unimplemented");