------- Comment #8 from jvdelisle at gcc dot gnu dot org 2008-11-17 05:03 ------- The shifting of the decimal point between 1000. and 1001. is an artefact of how we compute the format specifiers in the OUTPUT_FLOAT macro in write_float.def.
I am working on a solution to that part of this. The issue with the doubles in common I suspect is some sort of alignment issue, but I do not see it here. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37472
