mips64 and gmp observation