744c744
< std::string str() const { return to_string(value()); }
---
> std::string str() const { return std::to_string(value()); }
2173c2173
< std::string str() const { return to_string(vresult[0]); }
---
> std::string str() const { return std::to_string(vresult[0]); }
2203c2203
< tmp += csprintf("%s ",to_string(vresult[i]));
---
> tmp += csprintf("%s ", std::to_string(vresult[i]));