modifier int en float (mysql)

je viens d'essayer

ALTER TABLE user MODIFY rate float(5) NOT NULL

avec mysql 5.6.26 et cela a fonctionné sans perdre la valeur.