gcl/gmp4/mpn/cray/ieee
