Type Definition typenum::consts::N722

type N722 = NInt<U722>;