Изменение столбца в MySQL с int на double?

По сути, в настоящее время у меня есть столбец в таблице MySQL, который является типом int.

Я бы хотел изменить это на двойное. Я искал в Интернете, но все, что мне удалось найти, это преобразование при получении значений из столбца (, например преобразование некоторой даты в Date ), но я не это имею в виду.

Я предполагаю, что это что-то с Alter Table, и я искал это на странице разработчиков MySQL, но не смог найти то, что искал.