(defun add1 (x)
  (declare (fixnum x))
  (+ x 1))

(defun bignum-add (x)
  (add1 (expt x 1000)))