PHP：调用未定义的函数gmp_add

Question

我正在尝试使用gmp_add方法，但它会抛出错误：

[2018-01-26 20:58:56] local.ERROR：调用未定义的函数gmp_add（）{＆＃34; exception＆＃34;：＆＃34; [object]（Symfony \ Component \ Debug \ Exception \ FatalThrowableError（代码：0）：在/var/www/app/Clients/iota-php-port/kerl-php/conv.php:110调用未定义的函数gmp_add（））

所以我用brew install homebrew/php/php70-gmp安装了gmp并确认它已安装：

但它仍然抛出同样的错误。我错过了什么？