Fixed bug introduced in 985d7423.

If a float smaller than one in absolute value is written without a
leading zero in the mod file, for instance as `.5`, we really need to
prefix the number with a zero. The simplest approach is to convert
the strings representing the numerical constants into floats.

src/ExprNode.cc

@@ -451,7 +451,7 @@ void
 NumConstNode::writeJsonAST(ostream &output) const
 {
   output << R"({"node_type" : "NumConstNode", "value" : )";
-  output << datatree.num_constants.get(id) << "}";
+  output << std::stof(datatree.num_constants.get(id)) << "}";
 }
 
 void

[Sébastien Villemot]

Note that there is no need to use the std:: prefix here, because we are already importing that namespace (through a using namespace std; statement in some header file(s)).

[Stéphane Adjemian]

Thanks. I will remove it later. Right now I am having difficulties to compile the branch I have pushed this evening on Debian testing...