#include "support/convert.h"
#include "support/debug.h"
+#include "support/docstream.h"
#include "support/FileName.h"
#include "support/filetools.h"
#include "support/gettext.h"
&& providesScale(ot1, complete, nomath)) {
if (!os.str().empty())
os << ',';
- ostringstream value;
- value << float(scale) / 100;
- os << subst(to_ascii(scaleoption_), "$$val", value.str());
+ os << subst(to_ascii(scaleoption_), "$$val",
+ convert<std::string>(float(scale) / 100));
}
return os.str();
}