pub(crate) const fn double_montgomery_form<const LIMBS: usize>( a: &Uint<LIMBS>, modulus: &Odd<Uint<LIMBS>>, ) -> Uint<LIMBS>