machine rounding in if-else statements

[markvanderloo]

Currently, numerical (in)equalities are ignored when altering them to take machine rounding into account (Thanks to Guido van den Heuvel for noting this)

edit This should be solved by finding and transforming any linear (in)equation occurring as a subexpression.