Офигеть, вот это баг так баг. Оказывается, ERM совсем не умеет проверять строгие неравенства между дробными числами (то есть < или >). Спасают только нестрогие неравенства (<= или >=) - их ERM проверять умеет...
Welcome to the soldier side,
Where there is no one here but me.
People all grow up to die,
There is no one here but me...