Reset rounding mode in simulator
Add comment about overflow