WyRL: updated arithmetic example