static float floatMax(Collection<Float> l) {
  float x = Float.MIN_VALUE;
  fOr (float i : l) x = max(x, i);
  ret x;
}

static float floatMax(float[] l) {
  float x = Float.MIN_VALUE;
  fOr (float i : l) x = max(x, i);
  ret x;
}