> I want to predict when the result I think predict is only possible in rare cases.
Why not use saturated arithmetic to detect overflow after it has occurred? [https://en.wikipedia.org/wiki/Saturation_arithmetic](https://en.wikipedia.org/wiki/Saturation_arithmetic)