> A > B just does B < A, there is no need to borrow them (and you can't).
That's wrong for float NaNs and any similar system, such as SQL's 3-valued logic. I didn't notice this before .. but I think this is something that should be more prominently documented; or am I wrong?
