but wouldn't a library with bindings to MPFR (using CFFI) not make more
sense? Maxima (and I suppose matlisp as well) have to implement their
own bigfloats data type anyway whereas the GMP integration has the
chance of being tightly and transparently integrated with the underlying
bignum implementation of SBCL. I could only see an advantage when
tightly coupling it with CMUCL's quad-floats.