Unsigned integers with their wrapping behavior are indeed ℤ/2ⁿℤ, but `Natural` 
is not.

Reply via email to