Módulo GMP para PHP 7.1
