Type Definition typenum::P222

type P222 = PInt<U222>;