Type Definition typenum::P708

type P708 = PInt<U708>;