presto-main/src/main/java/io/prestosql/util/MoreMath.java/MoreMath/min
class MoreMath:    public static double min(double... values)
    {
        return DoubleStream.of(values)
                .min()
                .getAsDouble();
    }