Real Operations and RealLiterals supported