Type Definition typenum::N872[][src]

type N872 = NInt<U872>;