Comment 7 for bug 2002810

Hi Christophe,

I added you to this one to give you a chance to review my patch to eventually merge it before the next freeze period or provide some feedback in case you want me to improve the patch in some way.

Unfortunately, I got no response to this yet despite having addressed this in this ticket, several times on the mailing list and created a pull request in GitHub.

It would be cool to finally have sbcl fixed again for machines that normalize floats automatically.