macro_rules! i13 { ($val:literal) => { ... }; }
Returns a i13 checked at compile time.
i13
let x = i13!(0); assert_eq!(x.repr(), 0);