K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2010-03-30T19:03:29.376138Z
K 7
svn:log
V 162
MFC: r205394

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

PR:i		144900
Obtained from:	OpenBSD

END