Type Definition typenum::N585

type N585 = NInt<U585>;