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