Pyret has a pragmatic way of dealing with what they call "roughnums": https://www.pyret.org/docs/latest/equality.html https://www.pyret.org/docs/latest/equalit

Pyret has a pragmatic way of dealing with what they call "roughnums": https://www.pyret.org/docs/latest/equality.html https://www.pyret.org/docs/latest/equality.html