changed double to uint64_t in csv output

src/aion/Tracer.output.cc

@@ -90,11 +90,11 @@ void write_summary_csv(const std::string &filename)
         out << '"' << l->function << '"' << ",";
         out << e.count << ",";
         out << e.cycles_total << ",";
-        out << e.cycles_total / double(e.count) << ",";
+        out << e.cycles_total / e.count << ",";
         out << e.cycles_min << ",";
         out << e.cycles_max << ",";
         out << e.cycles_total - e.cycles_children << ",";
-        out << (e.cycles_total - e.cycles_children) / double(e.count);
+        out << (e.cycles_total - e.cycles_children) / e.count;
         out << "\n";
     }
 }