Simple arithmetic implemented by Treetop.