[][src]Type Definition typenum::N583

type N583 = NInt<U583>;