arithmetic_eval.py: almost done it