We will indeed needs these opertaionts for integers. One thing we can do is to disable them for floats, or introduce a flag like you suggested to disable for floats.
I believe for many rules you mentioned they are already only enabled for integers
For example tvm/src/arith/rewrite_simplify.cc at main · apache/tvm · GitHub