arithmetic expression validity