Type Definition typenum::P874

type P874 = PInt<U874>;