Macro checked_arith_impl 

macro_rules! checked_arith_impl {
    (impl $imp:ident, $method:ident) => { ... };
}