pub fn invert_odd_mod<const VARTIME: bool>( a: &BoxedUint, m: &Odd<BoxedUint>, ) -> CtOption<BoxedUint>