[yuhong]

AFAIK while AMD didn't produce the 387 there was alternatives from for example Cyrix and IIT at the time.

[lproven]

And the socket-compatible, better-than-the-original Weitek 3167.

http://www.weitek.com/textual/products/wtl3167.html