Disambiguate meaning of cast to int.