Type Definition typenum::P875

type P875 = PInt<U875>;