Use __RECINT_LIMB_BITS instead of mp_limb_t in rns-double (fixing #155)
Use __RECINT_LIMB_BITS instead of mp_limb_t in rns-double (fixing #155)

linbox-team/fflas-ffpack,linbox-team/fflas-ffpack,linbox-team/fflas-ffpack