unused typedef still in core arith