Checked integer arithmetic operations, functions, and types with improved handling of errors and corner cases compared to the basic integral types.