Just for future resilience, could you also add a test for NonZero / <integer> and NonZero / NonZero

Testing I see the following

error[E0369]: cannot divide std::num::NonZero<u32> by std::num::NonZero<u32>

the foreign item type std::num::NonZero<u32> doesn't implement std::ops::Div

and

error[E0369]: cannot divide std::num::NonZero<u32> by u32

 the foreign item type std::num::NonZero<u32> doesn't implement std::ops::Div<u32>

so I adjusted condition as well

Interesting, although I guess that makes sense because the only scenario where absolutely making sure that an integer is non-zero would be in the denominator.

It would also be unintuitive (and non-composable), because NonZero(1) / NonZero(2) is zero, so the returned type would always have to be the underlying integer.