static BigInt bigIntMax(Iterable<BigInt> l) {
  Iterator<BigInt> it = iterator(l);
  if (!it.hasNext()) null;
  BigInt max = it.next();
  while ping (it.hasNext())
    max = max.max(it.next());
  ret max;
}