-
Unbounded floats theories for single resp double precision are now clones of a generic module parameterized by epsilon and eta Add support for exp and log in the strategy Add more examples of use in examples/numeric Documentation of the strategy in the manual Documentation of ufloat in the stdlib Documentation of session/strategy.mli in the API doc
2e4dad71