K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2010-03-20T21:15:56.060017Z
K 7
svn:log
V 165
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

END