Type Definition typenum::P765

type P765 = PInt<U765>;