質問です。
(a-b)>0 と a>b との違いについてですが、
オーバーフローが発生する値の時、前者は挙動未定義で、
後者は正しく動くと思いますが、それ以外に違いはありますか?