gmp/mpn/s390
