macro_rules! checked_add { ($a:expr, $b:expr) => { ... }; }
const fn-friendly checked addition helper.
const fn