Rather stereotypical that you've got a nice implementation of IEEE 754-1985 only 9 years before the standard was finalized. And this isn't the first "put a floating point number in 32 bits" implementation (this specific code was based on some HP2100 routines per the comments)
(edited to add, what I'm getting at is sometimes the standard is written a decade after the code is in use, like web standards, sometimes its the other way around like IPv6)
Note that Briel Computing sells at least two SBCs based on the 6502 and there may be other modern 6502 boards out there. The N8VEM project sells/sold bare PCBs for a "6502 on a S100 bus". I own all of the above. There is also a N8VEM 6502 board in redesign for the ECB bus which is kinda sorta one line summary a Kontron-like DIN41612 eurocard connector bus, probably exists because a genuine S100 connector is $15 and a DIN41612 because of the eurocard standard is like $3.
This is a lovely little library, but it is not "an implementation of IEEE 754-1985". The most important of the innumerable major differences:
- The representation is totally different (twos-complement signed significand and exponent instead of unsigned significand, biased exponent, and sign bit), one less bit of precision, no inf/nan encodings, and support for unnormalized encodings.
- No rounding. Results are chopped.
- Traps instead of defined results for all computations.
- No guard bit[s] for subtraction.
If you're using "IEEE 754" to colloquially refer to "floating point", we can go back considerably earlier; at least to the Z3.
(edited to add, what I'm getting at is sometimes the standard is written a decade after the code is in use, like web standards, sometimes its the other way around like IPv6)
Note that Briel Computing sells at least two SBCs based on the 6502 and there may be other modern 6502 boards out there. The N8VEM project sells/sold bare PCBs for a "6502 on a S100 bus". I own all of the above. There is also a N8VEM 6502 board in redesign for the ECB bus which is kinda sorta one line summary a Kontron-like DIN41612 eurocard connector bus, probably exists because a genuine S100 connector is $15 and a DIN41612 because of the eurocard standard is like $3.