(*************************************)
(* Options of the arithmetic library *)
(*************************************)
module Arith_options = struct

(* Base of arithmetic operations with natural numbers *)
(* The base should be even in order to represent inv(2) exactly *)
let base = 200;;
(* If true then special optimized binary operations are used for the natural
   number arithmetic whenever possible *)
let binary = false;;
(* If true then operation results are cached for the natural number arithmetic *)
let cached = true;;

(* Minimal exponent value for floating point numbers 
  (should be even for the square root operation) *)
let min_exp = 50;;
(* If true, then arithmetic operations with floating point numbers are cached *)
let float_cached = true;;

end;;