[][src]Type Definition typenum::N722

type N722 = NInt<U722>;