Type Definition typenum::consts::P873

type P873 = PInt<U873>;