Type Definition typenum::P778

type P778 = PInt<U778>;