Hmm, 801586 should be fine as with Intel 80 used to stand for
microprocessors and 81586 would be confusing as I think 81 was used for
RAM devices (82 stood for peripherals, BTW). My vote is for 80F86 though,
with "F" standing for "fast" as in the 74 TTL series. ;)
Maciej
--