Macro checked_mul 

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

const fn-friendly checked multiplication helper.