Number formatting settings are permanent on std::cout, so reset them.

CID 12486