Introduce ftoa() as a replacement for the %g format specifier

Not all platforms support printing floats, this is a more
portable (if uglier) way.

1 files changed, 1 insertions, 1 deletions

diff --git a/midend.c b/midend.c
index 15636d4..f2d27d3 100644
--- a/midend.c
+++ b/midend.c
@@ -2049,7 +2049,7 @@ void midend_serialise(midend *me,
      */
     if (me->ourgame->is_timed) {
         char buf[80];
-        sprintf(buf, "%g", me->elapsed);
+        ftoa(buf, me->elapsed);
         wr("TIME", buf);
     }