explicit int conversions