fmod MIXED-ARITH is
    sorts Integer Real .

    subsort Integer < Real .

    op _+_ : Integer Integer -> Integer .
    op _+_ : Real Real -> Real .

    var i : Integer .
    var r : Real .
endfm

***Try reducing a 'mixed' expression
red i + r .