http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47945
--- Comment #3 from Andreas Schwab <sch...@linux-m68k.org> 2011-03-01 14:27:54 UTC --- 0.14285714285714284921875000000000 is still within the accuracy of IEEE double. All numbers map to the same IEEE double.