We searched for the worst cases for correct rounding of the exponential function in the IEEE 754r decimal64 format, and computed
all the bad cases whose distance from a breakpoint (for all rounding modes) is less than 10
− 15 ulp, and we give the worst ones. In particular, the worst case for |
x| ≥ 3 ×10
− 11 is
exp(9.407822313572878 ×10-2) = 1.098645682066338 5 0000000000000000 278¼\exp(9.407822313572878 \times 10^{-2}) = 1.098645682066338\,5\,0000000000000000\,278\ldots
. This work can be extended to other elementary functions in the decimal64 format and allows the design of reasonably fast
routines that will evaluate these functions with correct rounding, at least in some domains.