WYRL: added a README for arithmetic example.