Type Definition typenum::P263

type P263 = PInt<U263>;