@Contract(pure = true)
  public static double max(double @NotNull [] values) {
    double max = Double.NEGATIVE_INFINITY;
    for (double value : values) {
      if (value > max) max = value;
    }
    return max;
  }
@Contract(pure = true)
  public static double max(double @NotNull [] values)