News for hackers. Stuff that matters.
Re:Extracting ROM constants from the 8087 math coprocessor's... by amelius on Sunday May 17, 2020 @06:19AM (#23210986)
Also, the first bit of the mantissa is always 1 (except for the number 0), so they could have left it out.
Re:Extracting ROM constants from the 8087 math coprocessor's... by kens on Sunday May 17, 2020 @12:46PM (#23213198)
In its external representation, the 8087 omitted the leading one for the reason you suggest; it is redundant.

Your suggestion could apply to the ROM; they could have hard-coded the first bit to 1, saving a row in the ROM. I think they could have avoided a few transistors by doing this.