---

7.1.4 Overflow ¶

Overflow checks are ‘suppressed’ but the overflow checking mode is set to ‘Strict’ (for assertion purposes).