[io] Enable manually setting float precision for file dump

The default 6 is the default of std::setprecision.
The io manipulators only affect floating point numbers.
If a number is exact only these digits will be printed (no zeros are
appended)