Macro typed_assert_eq 

macro_rules! typed_assert_eq {
    ($a:ident, $val:expr) => { ... };
}

This asserts the typed integer provided is the same as the number you provided

Example

use const_arithmetic::*;
let a = parse_integer!(3);
typed_assert_eq!(a, 3);