+ /// **What it does:** Checks for plain integer arithmetic.
+ ///
+ /// **Why is this bad?** This is only checked against overflow in debug builds.
+ /// In some applications one wants explicitly checked, wrapping or saturating
+ /// arithmetic.
+ ///
+ /// **Known problems:** None.
+ ///
+ /// **Example:**
+ /// ```rust
+ /// # let a = 0;
+ /// a + 1;
+ /// ```