1 files changed, 31 insertions, 3 deletions
diff --git a/dataType.mli b/dataType.mli
index 901346c..5397fdb 100755
--- a/dataType.mli
+++ b/dataType.mli
@@ -12,10 +12,14 @@ module Num: sig
 
   type t
 
-  val of_num: Num.num -> t
-  val nan: t
+  val one: t
+  val zero: t
 
-  val to_num: t -> Num.num
+  val of_int: int -> t
+  val to_int: t -> int
+
+  val to_float: t -> float
+  val of_float: float -> t
 
   val neg: t -> t
 
@@ -38,6 +42,14 @@ module Num: sig
   val min: t -> t -> t
 
   val abs: t -> t
+
+  val floor: t -> t
+
+  val gcd: t -> t -> t
+  val lcm: t -> t -> t
+
+  val is_integer: t -> bool
+
 end
 
 module Bool: sig
@@ -67,3 +79,19 @@ module String: sig
   val gt: t -> t -> bool
   val ge: t -> t -> bool
 end
+
+module Date: sig
+
+  (** Create a date from a year month day *)
+  val get_julian_day : int -> int -> int -> Num.t
+  
+  (** Return the year, month and day from a date *)
+  val date_from_julian_day : Num.t -> int * int * int
+  
+  val time_from_julian_day : Num.t -> int * int * Num.t
+
+  val from_string: string -> Num.t
+  
+  (** Print out the date *)
+  val to_string: Num.t -> string
+end