unused typedef still in core arith
Merge pull request #868 from jtlap/core_arith

unused typedef still in core arith