can we cast to int?