Allow non-integer number of minute countdowns

scripts/wk/hw/diags.py

@@ -815,6 +815,7 @@ def main() -> None:
 
 def print_countdown(proc, seconds) -> None:
   """Print countdown to screen while proc is alive."""
+  seconds = int(seconds)
   for i in range(seconds):
     sec_left = (seconds - i) % 60
     min_left = int((seconds - i) / 60)