Remove std::to_string in favor of our int_to_string