Type Definition typenum::P622

type P622 = PInt<U622>;