Type Definition typenum::P424

type P424 = PInt<U424>;