Type Definition typenum::P709

type P709 = PInt<U709>;