Type Definition typenum::P785

type P785 = PInt<U785>;