If both terms are infinites and of same sign, subtraction will give NaN and it will fail.

How is that a problem? infinities shouldn't be considered equal

For IEEE 754, and in Java for example, they are. Only NaN is not equal to itself (and different from itself).