Versão antiga de gmp
