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