You could use AppendFloat. We use it in the profiler for the same reason: https://searchfox.org/mozilla-central/source/tools/profiler/core/platform.cpp#4362
Bug 1686816 Comment 3 Edit History
Note: The actual edited comment in the bug view page will always show the original commenter’s name and original timestamp.
You could use AppendFloat. We use it in the profiler for the same reason: https://searchfox.org/mozilla-central/rev/2a24205479519e70c0574929f45730d285141584/tools/profiler/core/platform.cpp#4362