> Hum, somehow I convinced myself that it was ok if the precision > wasn't the same (but I can't remember my line of thought). Your > testcase clearly shows I was wrong ;)
It's not mine, but Zhendong Su's. For the sake of completeness, I also had an Ada testcase, but I know how convincing C testcases can be. :-) -- Eric Botcazou