8ff9d52cd0
Fix a few places in the sparc64 floating-point emulator where this wasn't being handled properly. Submitted by: bde