Implement a check when float-only operations are used

Feature

Implement a new check that emits an error when the following conditions are met:

1. A name is typed as builtins.float
2. No runtime cast (the_name = float(the_name)) on that name is done
3. A float-only attribute (like builtins.float.hex) on that name is used

This can also be extended for when the builtins.complex.__complex__ attribute (or other complex-only attributes) is used on a builtins.complex-typed name without a runtime cast.

Pitch

This document explains the whole problem.

Das Issue nennt keine Dateien, Tests oder Einstiegspunkte; beginne mit dem verlinkten Dokument zum float/complex-Problem und verfolge die Behandlung von float-only-Attributen im Type-Checker. Erledigt ist die Aufgabe, wenn für den angegebenen Fall eines nicht gecasteten float-Werts ein Fehler ausgegeben wird; die complex-Erweiterung soll nur berücksichtigt werden, wenn sie unterstützt wird.