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