Marius Strobl 4dda9dfd81 Ensure that __fpu_ftox() both returns the high bits and res[1] contains
the low bits also in the default case.

PR:		144900
Obtained from:	OpenBSD
MFC after:	3 days
2010-03-20 21:15:56 +00:00
..
2010-03-13 02:10:20 +00:00
2009-10-26 17:27:30 +00:00
2010-03-02 16:58:04 +00:00
2010-01-12 17:38:23 +00:00
2010-02-01 20:53:55 +00:00
2010-01-02 09:58:07 +00:00
2010-01-02 09:58:07 +00:00
2010-03-09 19:16:43 +00:00
2010-01-21 15:01:09 +00:00
2010-01-13 18:53:06 +00:00
2010-01-02 09:58:07 +00:00
2010-01-02 09:58:07 +00:00