2 (defmethod over-multv-inverse ((a number
)) (/ a
))
3 (defmethod expt2n (a b
) (expt a b
))
5 (defmethod add2n ((a number
) (b number
)) (+ a b
))
6 (defmethod subtr2n ((a number
) (b number
)) (- a b
))
7 (defmethod mult2n ((a number
) (b number
)) (* a b
))
8 (defmethod divis2n ((a number
) (b number
)) (/ a b
))
15 (defun over-factorial (n)
16 (declare (type (integer 0 *) n
))