Wenn du von einem Gnazzahltypen einen Fließkommadatentyp abziehst, ist das Ergebnis auch ein Fließkommadatentyp. Der Ganzzahldatentyp wird bei dieser Operation entsprechend erweitert. Die Eigenschaft
Top benötigt aber einen Ganzzahldatentyp, da es keine Bruchteile von Pixel gibt. Du musst also aus deinem Fließkommadatentyp mit
Round oder
Trunc, je nachdem was besser passt, wieder einen Ganzzahldatentyp machen.