http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47567
--- Comment #9 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> 2011-02-05 13:15:08 UTC --- I completely understand your position on '*' vs '0' At the time we first implemented showing that special case with zero, we had a bit of discussion on it. It was clear that the standard does not explicitly say that one part of its wording over rules some other part of its wording in this case. .001 rounds to zero on display but it is not zero and it would be misleading to call it zero. 0. or .0 on the other hand, is truly zero and we have an opportunity to display that information. We thought '0' was more useful than '*'. So we wanted to treat this as a special case. There is room for interpretation in the Standard. It is not so definite as one might prefer it to be and I think it is standard compliant to show it either way. Does anyone else have a comment?
