http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51441
--- Comment #1 from Alex Makov <exponent-bias at yandex dot ru> 2011-12-06 20:05:39 UTC --- The references to binary32 should be read as binary64, of course--just a typo.
exponent-bias at yandex dot ru Tue, 06 Dec 2011 12:05:56 -0800
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51441
--- Comment #1 from Alex Makov <exponent-bias at yandex dot ru> 2011-12-06 20:05:39 UTC --- The references to binary32 should be read as binary64, of course--just a typo.