1 files changed, 8 insertions, 0 deletions
diff --git a/Test/dafny0/DerivedTypes.dfy b/Test/dafny0/DerivedTypes.dfy
index ef9b7dae..127a3b08 100644
--- a/Test/dafny0/DerivedTypes.dfy
+++ b/Test/dafny0/DerivedTypes.dfy
@@ -11,6 +11,7 @@ method M()
   var s: set<int32>;
   var x: posReal;
   var y: posReal;
+  var yOrig := y;
   var z: int32;
   x := 5.3;
   z := 12;
@@ -35,4 +36,11 @@ method M()
   y := 60.0;
   var dr: posReal := y / 2.0 + 120.0 / y;
   assert dr == 32.0;
+
+  if yOrig == 0.3 {
+    var truncated := r0.Trunc + x.Trunc;
+    assert truncated == 5 + 5;
+    var rounded := (r0 + 0.5).Trunc;
+    assert rounded == 6;
+  }
 }