FIX: default precision mode for x87 is now 64-bit.