Re: [PATCH v2 4/6] user32/edit: Get rid of useless float cast