Type Definition typenum::P879

type P879 = PInt<U879>;