presto-main/src/main/java/io/prestosql/cost/SymbolStatsEstimate.java/SymbolStatsEstimate/getHighValue
class SymbolStatsEstimate:    @JsonProperty
    public double getHighValue()
    {
        return highValue;
    }