Clean arithmetic expressions and integer vars