Type Definition typenum::P167

type P167 = PInt<U167>;