pub const fn modulus_has_spare_bit<T: MontConfig<N>, const N: usize>() -> bool