diff --git a/tests/tests-randomized/bundles/04-REAL-bundle.txt b/tests/tests-randomized/bundles/04-REAL-bundle.txt
new file mode 100644
index 0000000..dc659d1
--- /dev/null
+++ b/tests/tests-randomized/bundles/04-REAL-bundle.txt
@@ -0,0 +1,2 @@
+-- Test the REAL (floating point) type.
+T ::= REAL