(*************************************) (* 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;;