modifica int in float (mysql)

Ho appena provato

ALTER TABLE user MODIFY rate float(5) NOT NULL

con mysql 5.6.26 e ha funzionato senza perdere il valore.