Aqui está o caminho que funcionou para mim:
- GMP instalado com
apt-get install php5-gmp - Adicionada
extension=php_gmp.soao php.ini
Et voilà!
amostra phpinfo ():
gmp
gmp support enabled
GMP version 4.3.2
Funciona bem aqui (Debian), então eu suponho que isso também seja bom para o Ubuntu.