Override locale for avoiding conflicts with llvm
Implemented real arithmetic expressions generation