let diff t1 t2 = Span.of_sec (t1 - t2)