static Lisp lispInt(BigInteger x) {
  ret lisp(str(x));
}