Add sign and fdiv

Author: LdBeth

stdlib/lm_num.ml

@@ -69,6 +69,11 @@ let rem_num = Z.rem
 let quo_num = div_num
 let mod_num = rem_num
 
+(*
+ * Rounding towards -oo (floor), used by Itt_supinf.
+ *)
+let fdiv_num = Z.fdiv
+
 (*
  * Euclidean division and remainder, used by Itt_omega.
  *)
@@ -87,6 +92,7 @@ let power_num = Z.pow
  *)
 let abs_num = Z.abs
 let neg_num = Z.neg
+let sign_num a = Z.of_int (Z.sign a)
 
 (*
  * Equality.

stdlib/lm_num.mli

@@ -54,8 +54,11 @@ val quo_num : num -> num -> num
 val mod_num : num -> num -> num
 val neg_num : num -> num
 val abs_num : num -> num
+val sign_num : num -> num
 val power_num : num -> int -> num
 
+val fdiv_num : num -> num -> num
+
 val ediv_num : num -> num -> num
 val erem_num : num -> num -> num
 val gcd_num : num -> num -> num