dogeshrine

I happen to have a PHP script that needs to use the GMP extension, and I end up having an exception that says "GMP extension seems not to be installed." How do I add the GMP extension?