presto-orc/src/main/java/io/prestosql/orc/metadata/statistics/DoubleStatistics.java/DoubleStatistics/getMax
class DoubleStatistics:    @Override
    public Double getMax()
    {
        return hasMaximum ? maximum : null;
    }