Type Definition typenum::consts::P424

type P424 = PInt<U424>;