https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78576
--- Comment #8 from Bill Schmidt <wschmidt at gcc dot gnu.org> --- At the time, Breno reported 0x403b0000 00000000 as the high half, which is accurate. Looking back, I didn't get a report of the low half. If somehow that were produced as a negative number, that would also account for the problem. That would seem pretty weird, but we can't discount it.
