/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLList.java
return false;
if ( index == 0 && 1.0 / x < 0 ) { return false; }
} else if (name instanceof Number) { double x = ((Number) name).doubleValue(); index = (long) x; if (index != x) { return false; } <extra_id_0> } else { String s = ScriptRuntime.toString(name); index = ScriptRuntime.testUint32String(s); } return (0 <= index && index < length()); }