Changed behavior of PosInf + NegInf

PosInf + NegInf used to be PosInf, now it's 0. Still violates
associativity, but at least it's somewhat more "reasonable"