Type Definition typenum::P871

type P871 = PInt<U871>;