Type Definition typenum::P223

type P223 = PInt<U223>;