>>830
a>0 && b<0 のとき a-b<=0 なら オーバーフロー
a<0 && b>0 のとき a-b>=0 なら アンダーフロー
それ以外は正常