(int) casts here, please.