Seven minus four equals three?
Subtraction is just addition of a negative number, so seven plus negative four equals three?
Negative numbers are just a factor of the imaginary component of a complex number, so seven plus four i squared equals three?
Seven, four and three in the square are natural numbers. Natural numbers are just shorthand for increments, so one plus one plus one plus one plus one plus one plus one plus i squared plus i squared plus i squared plus i squared..
@coopdot It’s far too easy to go down this rabbit hole when designing a type system (or, for that matter, a conlang grammatical system).