Compiler specs: Improve arithmetic operators specs