Type Definition typenum::P768

type P768 = PInt<U768>;