Small HP cleanup: don't use std::to_string.

During transition stage I introduced an overload for std::to_string. I remove it now. Actually there is an explanation in C++ docs that to_string cannot be relied upon and lexical_cast cannot be relied upon either. So in the future it is recommended to use math::toString instead. This will guarantee all decimal places in the conversion. I have added a relevant note in the docs about that.