[][src]Type Definition typenum::N873

type N873 = NInt<U873>;