generate float instead of double if constraints suggest this
diff --git a/tests/tests-randomized/bundles/04-REAL-bundle.txt b/tests/tests-randomized/bundles/04-REAL-bundle.txt
index dc659d1..d6ed4b7 100644
--- a/tests/tests-randomized/bundles/04-REAL-bundle.txt
+++ b/tests/tests-randomized/bundles/04-REAL-bundle.txt
@@ -1,2 +1,6 @@
-- Test the REAL (floating point) type.
T ::= REAL
+T ::= REAL (WITH COMPONENTS { mantissa (-16777215..16777215), base (2), exponent (-126..126)})
+T ::= REAL (WITH COMPONENTS { mantissa (-9007199254740991..9007199254740991), base (2), exponent (-1022..1023)})
+T ::= Real32 Real32 ::= REAL (WITH COMPONENTS { mantissa (-16777215..16777215), base (2), exponent (-126..126)})
+T ::= Real64 Real64 ::= REAL (WITH COMPONENTS { mantissa (-9007199254740991..9007199254740991), base (2), exponent (-1022..1023)})