On 31/08/18 16:47, Yves Bellefeuille wrote:
Gary Stainburn gary@ringways.co.uk wrote:
<snip>
"Old Pentium" isn't very precise; the first Pentiums were in 1993!
They were the ones nicknamed "i586.01" see https://en.wikipedia.org/wiki/Pentium_FDIV_bug