diff -r 000000000000 -r bc8c9a11cbfc test/idb/numbers.xml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/test/idb/numbers.xml	Wed Oct 10 22:58:21 2012 +0100
@@ -0,0 +1,25 @@
+<and>
+  <if>
+    <eq>
+      <integer>-1</integer>
+      <subtract>0 1</subtract>
+    </eq>
+    <print newline="true">PASS</print>
+    <expr>
+      <print newline="true">FAIL</print>
+      <false/>
+    </expr>
+  </if>
+
+  <if>
+    <eq>
+      <float>+1.7</float>
+      1.7
+    </eq>
+    <print newline="true">PASS</print>
+    <expr>
+      <print newline="true">FAIL</print>
+      <false/>
+    </expr>
+  </if>
+</and>