¿Por qué "mypy" considera "int" como un subtipo de "flotante"? Un subtipo admitirá todos los métodos de su supertipo, pero "float" tiene métodos, que "int" no admite: test.py: def f(x : float) -> bool: return x.is_integer() print(f(123.0)) print(f(123)) El verificador de tipo estático...