This PR enables new feature for RNS double conversions.
In particular, the rns_double_extended structure allows now to choose moduli that can go beyond the 26 bits limit of rns_double. This is using ModularExtended field and thus can technically goes to 53 bits moduli.
A new test suite is proposed to check both rns_double and rns_double_extended variants.
This PR enables new feature for RNS double conversions. In particular, the rns_double_extended structure allows now to choose moduli that can go beyond the 26 bits limit of rns_double. This is using ModularExtended field and thus can technically goes to 53 bits moduli.
A new test suite is proposed to check both rns_double and rns_double_extended variants.