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

From: Michael Welsh Duggan <[email-masked]>
Date: Mon, 14 Feb 2011 15:25:42 -0500

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
([email-masked])