Type Definition typenum::P761

type P761 = PInt<U761>;