Type Definition typenum::N805

type N805 = NInt<U805>;