@Override
  default boolean isSuperType(@NotNull DfType other) {
    if (other == DfType.BOTTOM) return true;
    if (!(other instanceof DfIntegralType integralType)) return false;
    if (integralType.getLongRangeType() != getLongRangeType()) return false;
    return getRange().contains(integralType.getRange()) &&
           getWideRange().contains(integralType.getWideRange());
  }
@Override
  default boolean isSuperType(@NotNull DfType other)