Closed oscbyspro closed 4 weeks ago
Some lacking foresight on my part w.r.t. the naming of things. Maybe I should call these types NaturalInteger(s) instead. Edit: natural numbers are non-negative. I need a vacation. So, what about CountableInteger(s)? Or FiniteInteger(s), again?
This would basically be the mirror image of EdgyInteger.
I'm trying to figure out the best way to recover from infinite arguments passed to the greatest common divisor BinaryInteger/euclidean(_:) methods. I then realized that I was missing a finite integer protocol representing the union of systems integer types and arbitrary signed integer types. I'm not sure that is the most appropriate solution to this problem, but it may solve other problems.