public boolean equals(Object other) { if (other == this) { return true; } if (!(other instanceof SecT113FieldElement)) { return false; } SecT113FieldElement o = (SecT113FieldElement) other; return Nat128.eq64(x, o.x); }