Sie können float in ein int umwandeln, aber Sie können ein boxed float nicht in ein int - Sie müssen es zuerst auspacken.
%Vor%Lesen Sie Eric Lipperts Beitrag Repräsentation und Identität für weitere Details.
hier, wenn Sie vom float zum Objekt boxen, der tatsächliche Typ, der jf float ist und Sie ein boxed float direkt auf int entpacken, was von der Laufzeit nicht akzeptiert wird.
also musst du erst unboxed, um zu floaten und dann noch einmal nach int zu werfen.