std::to_string works on both host and device.
One of (hopefully) the last trivial things I noticed working on
std::stringstream does not work on devices, but
std::to_string does. So converting an index to a string can be marked
Checking that this is true on all our supported systems via the CI . . .