diff --git a/gibbon-compiler/src/Gibbon/Passes/Codegen.hs b/gibbon-compiler/src/Gibbon/Passes/Codegen.hs
index 6e42d4b5f..a39e14dba 100644
--- a/gibbon-compiler/src/Gibbon/Passes/Codegen.hs
+++ b/gibbon-compiler/src/Gibbon/Passes/Codegen.hs
@@ -661,7 +661,7 @@ codegenTail venv fenv sort_fns (LetTimedT flg bnds rhs body) ty sync_deps =
                                                          gib_ptr_bumpalloc_restore_state();
                                                          } |]
                                        , C.BlockDecl [cdecl| double $id:itertime = gib_difftimespecs(&$(cid (toVar begn)), &$(cid (toVar end))); |]
-                                       , C.BlockStm [cstm| printf("itertime: %lf\n", $id:itertime); |]
+                                       , C.BlockStm [cstm| printf("itertime: %e\n", $id:itertime); |]
                                        , C.BlockStm [cstm| gib_vector_inplace_update($id:times, $id:iters, &($id:itertime)); |]
                                        ]
                                 -- TODO: Find a better way to get a name for the region id.                                
diff --git a/gibbon-rts/rts-c/gibbon_rts.c b/gibbon-rts/rts-c/gibbon_rts.c
index b243d1c7c..2fd2d0c0a 100644
--- a/gibbon-rts/rts-c/gibbon_rts.c
+++ b/gibbon-rts/rts-c/gibbon_rts.c
@@ -690,10 +690,10 @@ void gib_print_timing_array(GibVector *times) {
     for(GibInt i = 0; i < n; i++) {
         d = gib_vector_nth(times, i);
         if (i == (n-1)) {
-            printf("%f",*d);
+            printf("%e",*d);
         }
         else {
-            printf("%f, ",*d);
+            printf("%e, ",*d);
         }
     }
     printf("]\n");