DfType (LongRangeSet range) { if (range.equals(DfIntRangeType.FULL_RANGE)) return INT; if (range.isEmpty()) return DfType.BOTTOM; Long value = range.getConstantValue(); if (value != null) { return intValue(Math.toIntExact(value)); } return new DfIntRangeType(range, null); }