Módulo GMP para PHP 7.2
