[Bug c/65325] float/interger operation needs cast with 02 switch.

[scerveau@connected-labs.com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65325

--- Comment #8 from Stephane Cerveau <scerveau@connected-labs.com> ---
Created attachment 34973
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34973&action=edit
assembly code

This is the version with float casting