Type Definition typenum::P247

type P247 = PInt<U247>;