Fixing this bug would be part of fixing a bunch of other floating point bugs, more specifically rounding and clamping.

Yes, software floating point would be slower, but the general solution would probably follow the PS4s PS2 emulator. Where each game can have whitelisted sections of code for the software floating point path.