Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Functions rounding down their results.
include Crlibm.S
expm1 x
returns exp x -. 1.
in a way that is accurate even for values of x
near zero.
log1p x
returns log(x +. 1.)
in a way that is accurate even for values of x
near zero.
Hyperbolic tangent. This is not provided by CRlibm but is defined here for usefulness.
module U = I.U