diff --git a/tests/117-real-constraint-OK.asn1 b/tests/117-real-constraint-OK.asn1
new file mode 100644
index 00000000..7e0e5cd7
--- /dev/null
+++ b/tests/117-real-constraint-OK.asn1
@@ -0,0 +1,16 @@
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .117
+
+ModuleRealConstraint
+	{ iso org(3) dod(6) internet (1) private(4) enterprise(1)
+		spelio(9363) software(1) asn1c(5) test(1) 117 }
+	DEFINITIONS ::=
+BEGIN
+
+	R ::= REAL (0..3.14159265)
+
+END
diff --git a/tests/117-real-constraint-OK.asn1.-EF b/tests/117-real-constraint-OK.asn1.-EF
new file mode 100644
index 00000000..2745e144
--- /dev/null
+++ b/tests/117-real-constraint-OK.asn1.-EF
@@ -0,0 +1,8 @@
+ModuleRealConstraint { iso org(3) dod(6) internet(1) private(4) enterprise(1)
+	spelio(9363) software(1) asn1c(5) test(1) 117 }
+DEFINITIONS ::=
+BEGIN
+
+R ::= REAL (0..3.141593)
+
+END