Precise and detailed description of the expected behaviour of checkedint.safeOp against which it can be automatically tested. 80+ bit floating-point is used to compute the expected value for each operation with many different combinations of inputs.
Precise and detailed description of the expected behaviour of checkedint.smartOp against which it can be automatically tested. 80+ bit floating-point is used to compute the expected value for each operation with many different combinations of inputs.