bugfix: Symbol.Arith.Op.floor in the real case
bugfix: Symbol.Arith.Op.floor in the real case

c-cube/zipperposition,c-cube/logtk,c-cube/zipperposition,c-cube/logtk,c-cube/zipperposition,c-cube/zipperposition