diff --git a/src/test/java/de/tla2b/prettyprintb/standardmodules/ModuleRealsTest.java b/src/test/java/de/tla2b/prettyprintb/standardmodules/ModuleRealsTest.java
new file mode 100644
index 0000000000000000000000000000000000000000..0e455af658a7f746c33963c394e31d60f72d3961
--- /dev/null
+++ b/src/test/java/de/tla2b/prettyprintb/standardmodules/ModuleRealsTest.java
@@ -0,0 +1,22 @@
+package de.tla2b.prettyprintb.standardmodules;
+
+import org.junit.Test;
+
+import static de.tla2b.util.TestUtil.compare;
+
+public class ModuleRealsTest {
+
+	// Arithmetic operator: /
+	@Test
+	public void testArithmeticOperators() throws Exception {
+		final String module = "-------------- MODULE Testing ----------------\n"
+			+ "EXTENDS Reals \n"
+			+ "ASSUME 1.0 / 2.0 = 0.5 \n"
+			+ "=================================";
+		final String expected = "MACHINE Testing\n"
+			+ "PROPERTIES 1.0 / 2.0 = 0.5 \n"
+			+ "END";
+		compare(expected, module);
+	}
+
+}