1 files changed, 5 insertions, 0 deletions
diff --git a/dataType.ml b/dataType.ml
index 8e5ead0..b5e077e 100755
--- a/dataType.ml
+++ b/dataType.ml
@@ -38,6 +38,11 @@ module Num = struct
     and den = Q.den t in
     Q.of_bigint @@ Z.fdiv num den
 
+  let round_down t =
+    let num = Q.num t
+    and den = Q.den t in
+    Q.of_bigint @@ Z.div num den
+
   let ge = Q.geq
 
   let ge = Q.geq