gmp/mpn/cray/ieee
