Fix use of dtoastr from gnulib.

* src/print.c (float_to_string): Ensure that a decimal point is
printed if using dtoastr (Bug#8033).

1 files changed, 5 insertions, 3 deletions

diff --git a/src/print.c b/src/print.c
index b5b278bf17f..beb14a8b679 100644
--- a/src/print.c
+++ b/src/print.c
@@ -1062,7 +1062,10 @@ float_to_string (char *buf, double data)
     {
       /* Generate the fewest number of digits that represent the
          floating point value without losing information.  */
-      dtoastr (buf, FLOAT_TO_STRING_BUFSIZE, 0, 0, data);
+      dtoastr (buf, FLOAT_TO_STRING_BUFSIZE - 2, 0, 0, data);
+      /* The decimal point must be printed, or the byte compiler can
+         get confused (Bug#8033). */
+      width = 1;
     }
   else                  /* oink oink */
     {
@@ -1117,8 +1120,7 @@ float_to_string (char *buf, double data)
           cp[1] = '0';
           cp[2] = 0;
         }
-
-      if (*cp == 0)
+      else if (*cp == 0)
         {
           *cp++ = '.';
           *cp++ = '0';