Crlibm

This module is a binding to CRlibm, an efficient and proved
correctly-rounded mathematical library. CRlibm is now superseded by
MetaLibm but the latter requires some polishing and documentation.
For the user convenience, this module embeds the relevant C code from
the CRlibm Git repository.

Install

The easier is to use opam:

opam install crlibm

Documentation

See crlibm.mli, also available
online.