Workaround since std::to_string is not supported by all compilers