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