Notice that the docs say "a negative value" rather than -1 specifically. That's because the implementation for integers an be as simple asreturn a - b; // if b > a, you get a negative value
Except that e.g. -2 - int.max underflows to int.max suggesting that int.max < -2.