Type fixes

src/cache_timing.c

 #include <inttypes.h>
 #include <stdlib.h>
 #include <stdio.h>
-#include <math.h>
 
 #include "util.h"
 
 const uint64_t REPEATS = 100000;
 
 int main() {
-    uint64_t min_miss = INT64_MAX;
-    uint64_t max_hit = 0.0;
+    uint64_t min_miss = UINT64_MAX;
+    uint64_t max_hit = 0;
 
     // TODO: Implement the algorithm as described in the specification here
 
-    printf("min miss = %ld\n", min_miss);
-    printf("max hit  = %ld\n", max_hit);
+    printf("min miss = %" PRIu64 "\n", min_miss);
+    printf("max hit  = %" PRIu64 "\n", max_hit);
 }