Type Definition typenum::P112

type P112 = PInt<U112>;