pub const fn inv_montgomery_form<const LIMBS: usize>( x: &Uint<LIMBS>, modulus: &Uint<LIMBS>, r3: &Uint<LIMBS>, mod_neg_inv: Limb, ) -> (Uint<LIMBS>, CtChoice)