IBM Corporation didn't manufacture 8087 microprocessors. Instead,
they re-branded Intel 8087 FPUs by stamping "IBM" name on them.
There are three known IBM re-branded co-processors - C8087, C8087-3 and
C8087-6.
Links
History Architecture Identification Pinouts Support chips