Macro checked_add 

macro_rules! checked_add {
    ($a:expr, $b:expr) => { ... };
}

const fn-friendly checked addition helper.