From 572f2848c87272d7e5bf97fad2dd28d9aabd30c8 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 4 Sep 2023 22:51:11 -0400
Subject: [PATCH] add `float` to user data

---
 src/core/types.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/types.ml b/src/core/types.ml
index 9495ac2..9472385 100644
--- a/src/core/types.ml
+++ b/src/core/types.ml
@@ -7,6 +7,7 @@ type user_data =
   [ `Int of int
   | `String of string
   | `Bool of bool
+  | `Float of float
   | `None
   ]
 (** User defined data, generally passed as key/value pairs to