(float_to_string): Add final 0 if text ends with decimal pt.

1 files changed, 7 insertions, 1 deletions

diff --git a/src/print.c b/src/print.c
index 0b6139a5c78..e9bfbcf2fcb 100644
--- a/src/print.c
+++ b/src/print.c
@@ -640,12 +640,18 @@ float_to_string (buf, data)
       sprintf (buf, XSTRING (Vfloat_output_format)->data, data);
     }
 
-  /* Make sure there is a decimal point or an exponent,
+  /* Make sure there is a decimal point with digit after, or an exponent,
      so that the value is readable as a float.  */
   for (cp = buf; *cp; cp++)
     if (*cp < '0' || *cp > '9')
       break;
 
+  if (*cp == '.' && cp[1] == 0)
+    {
+      cp[1] = '0';
+      cp[2] = 0;
+    }
+
   if (*cp == 0)
     {
       *cp++ = '.';