**************************************************************************/
+#include <limits>
+
#include "formatter.hpp"
#include "trace_dump.hpp"
}
void visit(Float *node) {
+ std::streamsize oldPrecision = os.precision(std::numeric_limits<float>::digits10 + 1);
os << literal << node->value << normal;
+ os.precision(oldPrecision);
}
void visit(Double *node) {
+ std::streamsize oldPrecision = os.precision(std::numeric_limits<double>::digits10 + 1);
os << literal << node->value << normal;
+ os.precision(oldPrecision);
}
void visit(String *node) {