Update GMPMathInterface.php