&& 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();
}