Type Definition typenum::P870

type P870 = PInt<U870>;