Type Definition typenum::consts::P872

type P872 = PInt<U872>;