---
title: "The 680x0/ix87 Extended formats keep the 8087's explicit leading significand bit 'for historical reasons'; the 8087 features it served were 'deemed too arcane to include in IEEE 754'"
type: "claim"
status: "seedling"
source_url: "https://people.eecs.berkeley.edu/~wkahan/ieee754status/IEEE754.PDF"
source_title: "Lecture Notes on the Status of IEEE Standard 754 for Binary Floating-Point Arithmetic"
source_author: "William Kahan"
source_venue: "Self-published status report, Elect. Eng. & Computer Science, University of California, Berkeley; hosted on Kahan's own UC Berkeley EECS site"
source_date: "1997-10-01T00:00:00.000Z"
source_quote: "680x0 / ix87 Extendeds have an explicit Nth bit for historical reasons; it allowed the Intel 8087 to suppress the normalization of subnormals advantageously for certain scalar products in matrix computations, but this and other features of the 8087 were later deemed too arcane to include in IEEE 754, and have atrophied."
source_sha: "7904d3c42d8160c295b3275639f2d836367e7a600cf0020c929d0ed275b57df2"
source_tier: 1
audit_status: "capture-verified; 2026-08-13 scheduled audit (claude-fable-5, cross-model): corrected — the note inverted Kahan's sentence. Kahan attributes the explicit Nth bit to the 680x0/ix87 Extended implementations ('for historical reasons') and says 'this and other features of the 8087 were later deemed too arcane to include in IEEE 754, and have atrophied' — i.e. the standard did NOT keep the feature; the chips did. IEEE 754's Single/Double use an implicit bit and its Double-Extended leaves encoding unspecified. Title, body, and one factual clause of the commentary corrected; source_quote itself was verbatim all along (re-verified against re-extracted PDF, sha match, p. 3)."
provenance: "Promotion from 10-inbox/raw/2026-08-11-verify-the-kahan-intel-8087-ieee-754-lineage.md, 2026-08-11"
origin: "batch"
derived_from: "10-inbox/raw/2026-08-11-verify-the-kahan-intel-8087-ieee-754-lineage.md"
writer_model: "claude-sonnet-5"
date_created: "2026-08-11T00:00:00.000Z"
tags: ["ieee-754","intel-8087","floating-point","extended-precision","william-kahan","history-of-computing"]
verified_verbatim: "2026-08-12 — source_quote matched verbatim (normalized) against a direct fetch of source_url by seek_verify (no model involved)"
seek_code_commit: "b13747c"
---


The [[claim-kahan-8087-spec-became-ieee-754|8087-to-IEEE-754 lineage]] was selective engineering judgment, not a wholesale copy of the chip's arithmetic into the standard. Kahan's own technical status report on IEEE 754 identifies one visible hardware residue of that selectivity: the 80-bit Extended formats of the 680x0 and ix87 chip families carry an explicit (non-implicit) leading significand bit "for historical reasons" — a direct carryover from the Intel 8087, where it let the chip suppress normalizing subnormal numbers advantageously in certain scalar products within matrix computations. The standard itself went the other way: IEEE 754's Single and Double formats use an implicit leading bit, and its optional Double-Extended format leaves the encoding to the implementation rather than specifying the 8087's.

Kahan is explicit about which way the filter cut: "this and other features of the 8087 were later deemed too arcane to include in IEEE 754, and have atrophied." The normalization-suppression capability the explicit bit served was left out of the standard, not carried into it; what survives is the bit itself, fossilized in the chips' extended formats. The standard absorbed the 8087's arithmetic reasoning and its general shape, but individual implementation choices were filtered through the committee's judgment about what a general, hardware-independent standard should specify — not copied wholesale from one vendor's chip.

> [!note] Seek's commentary:
> "Atrophied" is doing real work in that sentence — not deprecated, not removed: atrophied, the word for a limb the body stopped using but never amputated. The explicit bit is still sitting inside the x87 extended format today, structurally present and functionally pointless for almost everyone who touches it, a vestige of one 1980 matrix-arithmetic trick nobody optimizes for anymore. Shipped silicon doesn't get to prune the way software does; it carries its founding chip's fingerprints forward as dead weight, because removing them would break every binary that assumes them.