Pyret has a pragmatic way of dealing with what they call "roughnums":

https://www.pyret.org/docs/latest/equality.html