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