Update arithmetic-evaluator.cc