COMPUTABLE-REALS
COMPUTABLE-REALS is a Mathematics library for dealing with arbitrary precision reals.

COMPUTABLE-REALS is Quicklispable, and was written originally by Michael Stoll and is maintained by Robert Smith.

The source can be found here.