static S assertInteger(S s) {
  if (!isInteger(s))
    fail("Not an integer: " + quote(s));
  ret s;
}