@Override
  default DfType widen() {
    LongRangeSet wideRange = getWideRange();
    return wideRange.equals(getRange()) ? this : DfTypes.range(wideRange, null, getLongRangeType());
  }
@Override
  default DfType widen()