157158159160161162163164165166167
Value v = (Value) o; if (!v.isInteger()) { return false; } IntegerValue iv = v.asInteger(); return value.equals(iv.toBigInteger()); } @Override public int hashCode() { if (INT_MIN.compareTo(value) <= 0 && value.compareTo(INT_MAX) <= 0) {