Fix int-to-int type conversion