diff -r a6c7292742a0 -r 07e8ca2bdf6d src/hp34comm.h
--- a/src/hp34comm.h	Sun Oct 25 23:00:17 2020 +0100
+++ b/src/hp34comm.h	Mon Oct 26 00:16:13 2020 +0100
@@ -38,9 +38,9 @@
   void pushCmd(uint8_t cmd, uint8_t size, char *payload);
   void rxIrq(void);
   void timeout(void);
-  void set_timer(float v=0.0) {
+  void set_timer(Kernel::Clock::duration_u32 v=0ms) {
     timeouter.detach();
-    if (v > 0.0)
+    if (v > 0ms)
       timeouter.attach(callback(this, &HPSerial::timeout), v);
   }