static double doubleMax(Iterable<Double> l) {
  double max = -Double.MAX_VALUE;
  fOr (double d : l)
    max = Math.max(max, d);
  ret max;
}