float equality

[bearophile]

Walter:

> MISRA is not suggesting having the language silently default to approximate 
> equality.

Right. But I am not suggesting that, in what I have suggested there is nothing silent :-)

Given:
double x, y;

I have suggested in D:
x == y  => syntax error.
x is y   => the same FP equality as today.
some syntax(x, y, how_much_to_approximate) => approximate equality.

Bye,
bearophile