Type Definition typenum::P767

type P767 = PInt<U767>;