Macro checked_sub 

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

const fn-friendly checked subtraction helper.