Type Definition typenum::N883

type N883 = NInt<U883>;