Clarify the float/int/complex special case

The typing spec currently says this:

Python’s numeric types complex, float and int are not subtypes of each other, but to support common use cases, the type system contains a straightforward shortcut: when an argument is annotated as having type float, an argument of type int is acceptable; similar, for an argument annotated as having type complex, arguments of type float or int are acceptable.

This is helpful in that it clarifies that there is not a subtype relationship here. It remains unclear (to me, at least) in the following ways:

1. It implies that this special case applies only to function argument annotations, and not to any other annotation (e.g. an annotation of the type of an attribute of a class). I find this surprising, but perhaps it is intended? I think it is surprising enough that if it's intended, the wording should be even clearer, and explicitly show examples where the special case does not apply outside an argument annotation.
2. The wording "is acceptable" in the absence of a subtype relationship does not clarify how this special case actually fits into the type system; we can accept an int to a float typed argument, but then how do we type that name within the function body? If what we actually mean here is that float should be interpreted as float | int, then we should say that clearly.

There was some discussion of this on https://github.com/python/typing/issues/1663, which is about the different but related question of whether to mention the numeric tower and PEP 3141.

Beginnen Sie mit dem zitierten numeric-types-Abschnitt der typing spec und prüfen Sie die zugehörige Diskussion in typing/issues/1663. Klären Sie, ob die Abkürzung nur für Funktionsargumente gilt und wie der akzeptierte Typ innerhalb der Funktion verstanden wird, und aktualisieren Sie anschließend die Formulierung mit Beispielen sowie einer präzisen Definition dessen, was „done“ bedeutet.