Type menge von int in Float geändert