comparison src/print.c @ 1764:94ff5d9ef48a

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

1763:65e858c07a8b

	goto lose;

      sprintf (buf, XSTRING (Vfloat_output_format)->data, data);
    }

  /* Make sure there is a decimal point 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 == 0)
    {
      *cp++ = '.';
      *cp++ = '0';

1764:94ff5d9ef48a

	goto lose;

      sprintf (buf, XSTRING (Vfloat_output_format)->data, data);
    }

  /* 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++ = '.';
      *cp++ = '0';