bugfix: Symbol.Arith.Op.floor in the real case
pretty printing of arithmetic expressions