let print_time oc t = let t = int_of_float t in let s = t mod 60 in let m = (t / 60) mod 60 in let h = t / 3600 in fp oc "%02d:%02d:%02d" h m s