Type Definition typenum::P353

type P353 = PInt<U353>;