Previous: Formal Description, Up: Decimal radices in bits denotations
It is recommended for the implementation to check and diagnose
overflow in bits denotations, even if its effect is well
defined by the implementation, as unsigned overflow often is.