Lists, rationals, polynomials and intervals - Implementation (types and basic operations) : Rat.string_approx

let string_approx_rat = function

  (Rat r, n) -> if n >= 0

              then Num.approx_num_fix n r

              else failwith ("string_approx_rat : " ^ string_of_int n ^ " is negative")