(* Test: conflict of non-interned floating point constants *)

MODULE Main;

PROCEDURE F (x, y: REAL) = BEGIN END F;

BEGIN
F (- 0.4, - 0.6);
END Main.