CristalCaveGem » LustreC

(* (a, b, c) means a * 10^-b. c is the original string *)

      s

      (if String.get s (-1 + String.length s) = '.' then "0" else "")

let create_q q s = q, 0, s

  let num_10 = Num.num_of_int 10 in

  Num.(c // (num_10 **/ (num_of_int e)))

  if e = 0 then

    if e > 0 then Q.div (to_q (c,e-1,s)) (Q.of_int 10)

    else (* if exp<0 then *)

      Q.mul

        (to_q (c,e+1,s))

        (Q.of_int 10)

 *   Q.equal (to_q r1) (to_q r2) *)

let num_binop op r1 r2 =

  let n1 = to_num r1 and n2 = to_num r2 in

  op n1 n2

let arith_binop op r1 r2 =

  let r = num_binop op r1 r2 in

let minus = arith_binop Q.sub

let times = arith_binop Q.mul

let div   = arith_binop Q.div 

let le = num_binop (Q.(<=))

let gt = num_binop (Q.(>))

let ge = num_binop (Q.(>=))

let diseq = num_binop (Q.(<>))

let eq = num_binop (Q.(=))

let is_one r = Q.equal (to_num r) Q.one