From 7f1ded77b843f0d1cec240f5958760e4c90bde10 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@gmail.com>
Date: Wed, 22 Dec 2010 09:47:56 +0000
Subject: [PATCH] Avoided inaccuracies on big integers. (Fix for bug #17330.)

---
 src/serialization/parser.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/serialization/parser.cpp b/src/serialization/parser.cpp
index 86aab757739..6e2da255144 100644
--- a/src/serialization/parser.cpp
+++ b/src/serialization/parser.cpp
@@ -395,7 +395,7 @@ struct write_key_val_visitor : boost::static_visitor<void>
 	void operator()(bool b) const
 	{ out_ << (b ? "yes" : "no"); }
 	void operator()(double d) const
-	{ out_ << d; }
+	{ int i = d; if (d == i) out_ << i; else out_ << d; }
 	void operator()(std::string const &s) const
 	{ out_ << '"' << escaped_string(s) << '"'; }
 	void operator()(t_string const &s) const;