Improved sema for arithmetic expressions and intr functions