Typecast or not?

[mkinzler]

Ein Cast kann natürlich auch weich sein: <Float> := <Integer>;