- simplify rule x/r = x *(1/r) with test of numerical issues

can someone have a look of
./simulation/libraries/3rdParty/ThermoSysPro/ThermoSysPro.Examples.SimpleExamples.TestJunctions4.mos



git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@19111 f25d12d1-65f4-0310-ae8a-bbce733d8d8e

Compiler/FrontEnd/ExpressionSimplify.mo

@@ -4003,7 +4003,7 @@ algorithm
         true = r1 <. 1e12 and r1 >. 1e-20; 
         r = 1.0 /. r1;
         r1 = 1e6 *. r;
-        1.0 = realMod(r1, 1.0);
+        0.0 = realMod(r1, 1.0);
         e3 = DAE.BINARY(e1,DAE.MUL(tp),DAE.RCONST(r));
      then e3;