gmp/mpn/mips32
