Type Definition typenum::P172

type P172 = PInt<U172>;