presto-hive/src/main/java/io/prestosql/plugin/hive/metastore/DoubleStatistics.java/DoubleStatistics/DoubleStatistics
class DoubleStatistics:    @JsonCreator
    public DoubleStatistics(
            @JsonProperty("min") OptionalDouble min,
            @JsonProperty("max") OptionalDouble max)
    {
        this.min = requireNonNull(min, "min is null");
        this.max = requireNonNull(max, "max is null");
    }