Alterar datatype mysql workbench

Quando executo o comando: “alter table ‘biblioteca’, ‘livro’
change column ‘codigo’ ‘codigo’ int(11) null default null;” ele fica carregando porém não da resposta, como faço para alterar o datatype? Agradeço desde já

Acredito que seria algo mais ou menos assim:

ALTER TABLE TABELA MODIFY COLUMN SUACOLUNA DATATYPE RESTRICTION;