Type Definition typenum::consts::P887

type P887 = PInt<U887>;