Equality / case-equality of multiplied real values

In reply to HoWei:

This has nothing to do with case equality.

Try executing this statement

  initial $display("%30.30g",1.0e-6);

Then read why 0.1 + 0.2 ≠ 0.3