Type Definition typenum::P784

type P784 = PInt<U784>;