bug#8033: Not the byte compiler; problem lies deeper

[Michael Welsh Duggan]

Here is a patch which fixes this problem.

=== modified file 'src/print.c'
*** src/print.c 2011-02-14 15:39:19 +0000
--- src/print.c 2011-02-14 20:24:00 +0000
***************
*** 1063,1068 ****
--- 1063,1070 ----
        /* Generate the fewest number of digits that represent the
         floating point value without losing information.  */
        dtoastr (buf, FLOAT_TO_STRING_BUFSIZE, 0, 0, data);
+       /* Force a decimal point even if integer */
+       width = 1;
      }
    else                        /* oink oink */
      {

-- 
Michael Welsh Duggan
(md5i@md5i.com)