Type Definition typenum::P585

type P585 = PInt<U585>;