[][src]Type Definition typenum::N870

type N870 = NInt<U870>;