Thanks. I guess I was thinking that any patents on the instruction in the original article and of FP behaviour would predate 64-bit, but you're right that there could be relevant patents on x86-64.
Thinking aloud, I wonder if AVX 512 is translated?
Thinking aloud, I wonder if AVX 512 is translated?