The gmp shared extension for php
