MODULE binaryconst ; VAR r: REAL ; BEGIN r := 1.2 + 1 END binaryconst.