add integer cast