Type Definition typenum::P584

type P584 = PInt<U584>;