static Int collectMinInt(L l, S field) {
  Int min = null;
  for (O x : l) {
    O o = getOpt(x, field);
    if (o instanceof Number)
      min = xmin(min, toInt(o));
  }
  ret min;
}