Type Definition typenum::P777

type P777 = PInt<U777>;