_ + _
_
   __ + __
__
   Inf + 0
_
   NegInf * 0
0