@Override
  public boolean equals(Object obj) {
    return this == obj || super.equals(obj) && Objects.equals(((DfIntConstantType)obj).myWideRange, myWideRange);
  }
@Override
  public boolean equals(Object obj)