Type Definition typenum::P705

type P705 = PInt<U705>;