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