Interesting. One issue is treatment of 1 / -inf. This would be -0 in traditional IEEE 754 but would now be +0 IIUC.
This would imply that 1 / (1 / -inf) would now be +inf instead of -inf.
This would imply that 1 / (1 / -inf) would now be +inf instead of -inf.