GMP integration for SBCL (development; stable version is included in SBCL)