[Git][cmucl/cmucl][issue-468-core-math-signals] 3 commits: Fix #434: Add support for correctly rounded double-precision math functions