./arithmetic_eval.py: some fixes