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