Type Definition typenum::P173

type P173 = PInt<U173>;