behave more consistently like an 64-bit implementation. Mostly this
means running the host with the FPU set to 64-bit precision, not
80-bit.
Requires corresponding changes on the Valgrind side of the fence.
git-svn-id: svn://svn.valgrind.org/vex/trunk@705