A few multiplication fixes:
- Widen product to fix overflow
- Consider GRS in rounding
- Fix sign of INF results