Clean up arithmetic example