Use setprecision for std::cout