@Override
  public boolean equals(Object o) {
    if (this == o) return true;
    return o instanceof DfDoubleConstantType that && super.equals(o) && shouldWiden == that.shouldWiden;
  }
@Override
  public boolean equals(Object o)