Versão antiga do gmp
