explicit int casts