Automatic conversions in Integer arithmetic