@HilariousCow Why it works:

If A and B are both >= 0, then

(1) A > B
is true if and only if
(2) A^2 > B^2

so if you check (2), then you also know (1), and vice versa