A move to fixed format was erroneously made in
4893f0e8 and
ff85fc64, where stream formatting of floating
points has been replaced by the use of std::to_string().