gmp/mpn/power
