159   float f1 = w1.Value(), f2 = w2.Value();  in Times()  local
160   if (f1 == kPosInfinity)  in Times()
165     return TropicalWeight(f1 + f2);  in Times()
171   float f1 = w1.Value(), f2 = w2.Value();
174   else if (f1 == kPosInfinity)
177     return TropicalWeight(f1 - f2);
220   float f1 = w1.Value(), f2 = w2.Value();  in Plus()  local
221   if (f1 == kPosInfinity)  in Plus()
225   else if (f1 > f2)  in Plus()
226     return LogWeight(f2 - LogExp(f1 - f2));  in Plus()
228     return LogWeight(f1 - LogExp(f2 - f1));  in Plus()
232   float f1 = w1.Value(), f2 = w2.Value();  in Times()  local
233   if (f1 == kPosInfinity)  in Times()
238     return LogWeight(f1 + f2);  in Times()
244   float f1 = w1.Value(), f2 = w2.Value();
247   else if (f1 == kPosInfinity)
250     return LogWeight(f1 - f2);