x87 — это устаревшее 80-битное подмножество с плавающей запятой в наборе команд x86. Он устарел SSE / SSE2 для float / double, но все еще полезен для 80-битной расширенной точности. 32-битный x86 ABI также возвращает результаты FP в регистре x87. См. Вики-теги для получения ссылки на руководство.