SBCL惊喜失效进入浮点？

Question

请考虑Common Lisp中的以下代码:

  (defun range (max &key (min 0) (step 1))
    (loop for n from min below max by step
          collect n))
  (reduce #'* (range 61 :min 1))

这使得预期的bignum值为60 !,即

8320987112741390144276341183223364380754172606361245952449277696409600000000000000

但是,以下代码(不包括我可以看到的任何浮点强制)产生浮点答案:

  (defun fact (n)
    (if (= 0 n)
        1
        (* n (fact (- n 1)))))

  (fact 60)
  8.32098711274139e+81

问题是"为什么？" 并且"我如何fact在SBCL(Steel-Bank Common Lisp)中写出一个简单的递归,产生一个bignum结果？"

Answer 1

强制发生在emacs方面.ob-lisp.el调用读取结果.尝试在*scratch*缓冲区上对此进行评估,以便了解自己

(read "8320987112741390144276341183223364380754172606361245952449277696409600000000000000")