Type Definition typenum::consts::P172

type P172 = PInt<U172>;