Subtracting two length doesn't give you a length, it gives you a difference of length, which can be any real number.

So by analogy subtracting two unsigned ints should give you a signed int by default (unless you specifically ask for the unsafe unsigned int, and then it's on you to make sure the preconditions are met).