Type Definition typenum::P760

type P760 = PInt<U760>;