Type Definition typenum::P892

type P892 = PInt<U892>;