eliminate the use of std::to_string