static double collectMaxDouble(Collection c, S field) {
  double x = Double.NEGATIVE_INFINITY;
  for (O o : unnull(c)) {
    Double d = cast getOpt(o, field);
    if (d != null)
      x = max(x, d);
  }
  ret x;
}