Type Definition typenum::P212

type P212 = PInt<U212>;