static BigInteger lispToInt(Lisp x) {
  ret lispIsInt(x) ? bigint(x.head) : null;
}