On 01/07/2014 02:48 PM, Joseph S. Myers wrote: > On Tue, 7 Jan 2014, Joseph S. Myers wrote: > >> The IEEE 754 operations are corrected rounded. However, the C bindings > > (Except that the IEEE 754 reduction operations - subclause 9.4 - return > "an implementation-defined approximation". But 9.2 is "Recommended > correctly rounded functions", e.g. exp and sin, for which the strictly > corresponding C functions are crexp and crsin.)
Has anyone found a way to do it? Even crlibm only provides routines that are probably correctly rounded. Although I'll grant you that the probability of incorrect rounding is very low. Andrew.