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