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

static double doubleMin(double[] l) {
  double min = Double.MAX_VALUE;
  fOr (double d : l)
    min = Math.min(min, d);
  ret min;
}