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