diff --git a/machxo2/archdefs.h b/machxo2/archdefs.h
index 0152b7ac..3a4ed21e 100644
--- a/machxo2/archdefs.h
+++ b/machxo2/archdefs.h
@@ -28,7 +28,7 @@
 
 NEXTPNR_NAMESPACE_BEGIN
 
-typedef float delay_t;
+typedef int delay_t;
 
 // -----------------------------------------------------------------------