GMP integration for SBCL