Type Definition typenum::P302

type P302 = PInt<U302>;