Type Definition typenum::N823[][src]

type N823 = NInt<U823>;