- Properly handle post-normalization rounding of addition overflow
- Return inf if multiplication overflows