Проблема? Какая ещё проблема?

То есть по мнению пайчарма float | int (ок, ок, float | int | None, если анализатор тупой) спокойно пролезет в int | None (не пролезет)