Type Definition typenum::consts::P722

type P722 = PInt<U722>;