Can I specify setprecision to round double values when stream to std output?
ofile << std::setprecision(12) << total_run_time/TIME << \"\\n
std::cout.write(std::to_string(0.756247615801).c_str(), 8);
It looks really dirty, but it works!