What's the reason for casting to int?