Unsigned systems integers are the most useful type of integers and they kind of deserve a name. I also noticed that A) 2-by-1 signed division is rather useless and B) 2-by-1 signed division can be (and is) derived from 2-by-1 unsigned division. So I could lower that requirement to NaturalInteger.
Unsigned systems integers are the most useful type of integers and they kind of deserve a name. I also noticed that
A)
2-by-1 signed division is rather useless andB)
2-by-1 signed division can be (and is) derived from 2-by-1 unsigned division. So I could lower that requirement toNaturalInteger
.