Type Definition typenum::P775

type P775 = PInt<U775>;