Computable real numbers.
$ area51 add computable-reals
;; area51 add updates your .asd automatically. ;; Use the package in your code: (in-package :my-project) (computable-reals:some-function ...)