https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125562
--- Comment #3 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> --- A correct output would have been 7fc00000 (nan) 7fa00000 (nan) 7fc00000 (nan) or 7fc00000 (nan) 7fa00000 (nan) 7fe00000 (nan) for instance.
