Type Definition typenum::P770

type P770 = PInt<U770>;