ただ、いずれにせよ「計算後」にその、オーバーフローフラグを見る制御ロジックはSwiftレベルで実装されてるから