Re: mips64 and gmp observation