cast $colWidth to int