The bug was in integer-decode-float, not the recomposition. Fixed in https://sourceforge.net/p/sbcl/sbcl/ci/5583248ce0fc
I suspect that the same problem still exists in DECODE-FLOAT
The bug was in integer- decode- float, not the recomposition. /sourceforge. net/p/sbcl/ sbcl/ci/ 5583248ce0fc
Fixed in https:/
I suspect that the same problem still exists in DECODE-FLOAT