Aqui está o caminho que funcionou para mim:
- GMP instalado com
apt-get install php5-gmp
- Adicionada
extension=php_gmp.so
ao 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.