[Python-Dev] Questions about CPython's behavior on addition operator -- binary_op1 (abstract.c) and nb_add (typeobject.c)