int in Float ändern (mysql)

Ich habe es gerade versucht

ALTER TABLE user MODIFY rate float(5) NOT NULL

mit mysql 5.6.26 und es funktionierte ohne den Wert zu verlieren.