RE: mips64 and gmp observation