オーバーフローアンダーフローを検出してくれる整数演算のライブラリってなんかありますか？