0 < 0-1 can be true if the 0s are unsigned.

... yes, it turned out to be an arithmetic mistake. And I've learned
something new today.