On 2018-08-03 14:00, Houder wrote:
[snip]

As far as I tell, it is neither the machine nor "fenv" that devices
to switch from x87 FPU to SSE ...

s/devices/decides/

Sorry.

Reply via email to