Message 228360 - Python tracker

> It doesn't cover the "sum with like signs"

Ah, sorry, yes it does;  it's in the previous paragraph.

"""
[...] the sign of a sum, or of a difference x−y regarded as a sum x+(−y), differs from at most one of the addends’ signs
"""