Type Definition typenum::P422

type P422 = PInt<U422>;