The 80187 is a rather late coprocessor designed to support the 80C186 embedded processor. It was introduced in 1989 and implements the complete 80387 instruction set. It is available for 12.5 and 16 MHz operation.

An A80387DX-20 with sSpec number.

The Intel 387DX is the second generation Intel 387 and was introduced in 1989. This version is done in a more advanced CMOS process than the 80387 that enables the coprocessor to run at a maximum frequency of 33 MHz, while the 80387 had a maximum frequency of 25 MHz.
The 387DX is about 20% faster than the 80387 at the same clock frequency. The Intel 387DX (and its predecessor 80387) are the only 387 coprocessors that support asynchronous operation of CPU and FPU. The 387 consists of a bus interface unit and a numerical execution unit. The bus interface unit always runs at the speed of the CPU clock.

This chip is Intel's second-generation 287, first introduced in 1990. Since it is based on the 80387 coprocessor core, it features full IEEE 754 compatibility and faster instruction execution. Intel claims about 50% faster operation than the 80287 for typical benchmark tests. Compared with benchmark results for the AMD 80C287, which is identical to the Intel 80287, the Intel 287XL performed 66% faster than the AMD 80C287 on a fractal benchmark and 66% faster on the Whetstone benchmark.
Since the 287XL has all the additional instructions and enhancements of a 387, most software automatically identifies it as an 80387-compatible coprocessor and therefore can make use of extra 387-only features, such as the FSIN and FCOS instructions.
The 287XL is manufactured in CMOS and therefore uses much less power than the older NMOS-based 80287. At 12.5 MHz, the power consumption is rated at max. 675 mW, about 1/4 of the 80287 power consumption. The 287XL is available in either a 40-pin CERDIP (ceramic dual inline package) or a 44 pin PLCC (plastic leaded chip carrier). (This latter version is called the 287XLT and intended mainly for laptop use.) The 287XL is rated for speeds of up to 12.5 MHz.

Our shop sold these in big cardboard boxes. They were 20MHz chips, sold as covering all speed m/boards out there from 6MHz to 20MHz.
See my note for D80287-10......my own personal 286-20 m/board run a fixed 10MHz clock for the FPU co-pro socket, so where were these m/boards that needed a true 20MHz chip??? My m/board was made in 1993! (After the release of the XL-20 FPU's).