Interface TreeEvaluator.TagArithmetic