Attribute Macro with_checked_arithmetic

#[with_checked_arithmetic]