Implement legacy GMP support for PHP < 5.6
Merge branch 'gmp-old'