[fc417fc802]

> so yes this works on decimal numbers too.

Given that rounding tends to be necessary that seems extremely questionable in practice. Similar to how the equality operator in most (probably all) languages can be used with floating point numbers but in most cases that is a very bad idea.

[hyperhello]

Integers don’t have to be stored as floating point.

[fc417fc802]

And yet a great many applications that use numbers with a decimal point will involve rounding and/or inexact matches.