it doesnt seem to warn here (it is double to int and truncating is a special case of rounding :) ); I haven't checked the spec but I always learnt that float to integer conversions are perfectly fine without cast