Type Definition typenum::P873

type P873 = PInt<U873>;