Replace uses of std::to_string by a hand made stringify function

The is done to give more coherence to outputs (especially in the case
of doubles which produce a specific result with std::to_string)