Type Definition typenum::P887

type P887 = PInt<U887>;