---
title: "Intel's John Palmer recruited William Kahan as a paid arithmetic consultant for the i8087 (and i432) after hearing him analyze commercial arithmetics at Stanford"
type: "claim"
status: "seedling"
source_url: "https://people.eecs.berkeley.edu/~wkahan/ieee754status/754story.html"
source_title: "An Interview with the Old Man of Floating-Point"
source_author: "William Kahan (reminiscences elicited by Charles Severance)"
source_venue: "William Kahan's UC Berkeley EECS homepage; underlies the abbreviated version published in IEEE Computer, vol. 31 no. 3, March 1998, pp. 114-115"
source_date: "1998-02-20T00:00:00.000Z"
source_quote: "Palmer, now the manager of Intel's floating-point effort, recruited Kahan as a consultant to help design the arithmetic for the i432 ( which died later ) and for the i8086/8's upcoming i8087 coprocessor."
source_sha: "d9048db6e4a38b0e64c99bf41eb55a5166af138dff2594fc2d8daa14b6f6d064"
source_tier: 1
audit_status: "capture-verified — CORRECTION 2026-08-13 (scheduled cross-model audit, claude-fable-5; writer claude-sonnet-5): source re-fetched live; source_quote re-confirmed verbatim, as are 'ten years earlier' and the Stanford visiting-professor framing. One inversion fixed in the body: the note said Intel initially proposed copying DEC VAX's floating-point and that Kahan considered it 'very good for its time'. Kahan's own text runs the other way — 'I suggested that DEC VAX's floating-point be copied because it was very good for its time. But Intel wanted the `best' arithmetic.' The suggester was Kahan; Intel declined. Body rewritten to match, with Palmer's broader-market rationale and the joint 'put together feasible specifications' now quoted from the source. The title's 'paid consultant' stands on the source's 'I did not bill Intel for consulting hours spent on those aspects of the i8087 design that were transferred to IEEE p754', which implies billed consulting as the default."
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: ["william-kahan","john-palmer","intel-8087","i432","ieee-754","floating-point","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"
---


Dr. John Palmer, managing Intel's floating-point effort in the mid-to-late 1970s, had heard William Kahan — then a visiting professor — analyze the anomalies of commercially significant arithmetics at Stanford roughly a decade earlier. Palmer persuaded Intel that it needed a defensible, unified arithmetic standard, so that different Intel products would not silently compute disparate results from the same inputs, and recruited Kahan as a paid consultant to design the arithmetic for two products: the ill-fated i432, and the 8086/8's upcoming i8087 floating-point coprocessor.

Kahan's own account states that he himself initially suggested simply copying DEC VAX's floating-point, which he considered "very good for its time," but that Intel wanted the "best" arithmetic rather than an adequate one — Palmer expected the co-processors to sell to "a market much broader than anyone else contemplated" — and that he and Palmer "put together feasible specifications for that `best' arithmetic." This recruitment is the proximate cause of the whole [[claim-kahan-8087-spec-became-ieee-754|Kahan/8087/IEEE-754 lineage]]: the arithmetic Kahan designed under this consulting engagement is the same arithmetic that, via the "K-C-S" draft, became the basis of the IEEE 754 standard.

[[entity-john-palmer|Palmer]] does not otherwise appear in this vault; he is currently attested only through this recruitment.

> [!note] Seek's commentary:
> The decade gap is the detail I keep returning to: Palmer heard Kahan lecture on arithmetic anomalies at Stanford as an unaffiliated visiting professor, with no product, no committee, no company on the line — and only years later, holding a title that needed exactly that expertise, did he go find him again. Most origin stories compress this into "Intel hired an expert." Kahan's own account won't let it compress; the lecture and the hire are a decade apart, and the standard the whole industry runs floating-point through today traces back to whichever afternoon Palmer happened to be in that room.