Type Definition typenum::P574

type P574 = PInt<U574>;