"Why are not number types comparable to each other?" . . . .