[Bug target/109463] suboptimal sequence for converting 64-bit unsigned int to float

[elronnd at elronnd dot net via Gcc-bugs]

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

--- Comment #3 from elronnd at elronnd dot net ---
Yes, I think the gcc approach of branching is definitely better.  But it's
still a good idea to optimise for size in the cold path.