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.

El issue no especifica archivos, pruebas ni puntos de entrada; comienza con el documento enlazado sobre el problema de float/complex y sigue el manejo de los atributos exclusivos de float en el comprobador de tipos. La tarea estará terminada cuando se emita un error para el caso indicado de un float sin cast, y la extensión de complex solo deberá abordarse si es compatible.