Best x86 processor for float/double performance