Fix incorrect simplification
Fix incorrect simplification

Moving a constant multiple over to the RHS in an inequality was wrong
for floats.


Former-commit-id: e4c7c3b22f9c63999fcd34cd4a52d9f6a23b1e3e
Trass3r/Halide,darkbuck/Halide,Trass3r/Halide,darkbuck/Halide,darkbuck/Halide,darkbuck/Halide,Trass3r/Halide,Trass3r/Halide,darkbuck/Halide,darkbuck/Halide,Trass3r/Halide,darkbuck/Halide,Trass3r/Halide,Trass3r/Halide