soft-fp64/fadd: Instead of tracking "b < a", track sign of the difference