presto-spi/src/main/java/io/prestosql/spi/statistics/DoubleRange.java/DoubleRange/DoubleRange
class DoubleRange:    public DoubleRange(double min, double max)
    {
        if (isNaN(min)) {
            throw new IllegalArgumentException("min must not be NaN");
        }
        if (isNaN(max)) {
            throw new IllegalArgumentException("max must not be NaN");
        }
        if (min > max) {
            throw new IllegalArgumentException(format("max must be greater than or equal to min. min: %s. max: %s. ", min, max));
        }
        this.min = min;
        this.max = max;
    }