MPN_COPY_DECR
MPN_COPY_DECR (np + 1, np, dsize);
MPN_COPY_DECR (p.frac + (p.exponent + to_shift) / BITS_PER_MP_LIMB,