Indeed, the differences are so subtle, they don't really matter.Hmm, read through that but didn't find exactly what differences there are when it comes to comparing same speed chips from different manufacturers. It looks like they all do the same thing, so it shouldn't matter which brand I end up with?
The only case where you would want Intel is if you wanted to run CPU and FPU at different speeds, because:
However, it's 2019 (happy new year!), all the FPUs are about the same price, so why bother...The Intel 387DX (and its predecessor 80387) are the only 387 coprocessors that support asynchronous operation of CPU and coprocessor.