The default mode for overflow checks is
General => Strict
which causes all computations both inside and outside assertions to use the
base type, and is equivalent to -gnato (with no digits following).
The pragma Suppress (Overflow_Check) disables overflow
checking but has no effect on the method used for computing
intermediate results.
The pragma Unsuppress (Overflow_Check) enables overflow
checking but has no effect on the method used for computing
intermediate results.