[][src]Type Definition typenum::N858

type N858 = NInt<U858>;