The problem with the math libraries is worse, actually. The math libraries do not work "out of the box", they require CPU specific support. Actually, using the FPU requires CPU specific support, this is what the 680?0.libraries are good for. It is more than adding support for unsupported instructions - it is support for "non-normalized" IEEE numbers. IOW, if you want to use the IEEE code, *or* the FPU, you need the 68060/68040 library. Just "not using unimplemented instructions" does not help here at all - "unimplemented data formats" also exist.
To add some more grist for the mill: there are several variants of the ROM-based mathieeedoubbas.library which need to be handled with care. One works on all 68k systems but does not use inline FPU operations, one works on everything that has an 68020 CPU or better installed but does not use inline FPU operations and one works on the A3000 where it assumes that both an 68020 CPU or better and an 68881 FPU are installed (no, it doesn't check if the hardware is there).
Take your pick: cramming all three into ROM is probably bad idea because it wastes lots of memory for no tangible benefit, and choosing just one of the three forgoes any optimizations that might be available on more powerful systems.
Then there's the collection of mathieeesingtrans.library, mathieeedoubtrans.library, mathieeedoubbas.library and mathtrans.library. All four normally reside on Workbench, and the first three automatically either use FPU operations or fall back onto software-based numeric operations. mathtrans.library is the odd one out here, since it complements mathffp.library in ROM. Both mathffp.library and mathttrans.library use Motorola's proprietary fast floating point math code, which used to be the only floating point support library which Commodore-Amiga could ship in 1986. The (roughly) portable IEEE math libraries followed with Workbench 1.3 in 1987.
What actually deserves to be in ROM is, for backwards compatibility reasons, is mathffp.library. There is no real benefit here except backwards compatibility for software built almost 30 years ago which wasn't updated in the last 28 years, and probably crashes today on a stock Kickstart/Workbench 3.1 anyway.
The remainder of the IEEE floating point libraries should be on disk for three reasons.
The first is that the quality of the implementation is not quite so good by today's standards. That code is actually more than 30 years old by now. If these libraries remain on disk you have at least a chance to replace them with better variants.
The second reason is that the operating system and the 68040.library and 68060.libraries need to patch the hell out of these libraries because they don't play nice with these CPUs. These patches are disk-based and kick in at SetPatch time with the CPU card boot roms plastering their own band-aids on the library in ROM. There are several kinds of 68040.library and 68060.library by various makers, and some are doing more patching than others. You can't cram all this into ROM or hope to catch them all under one umbrella.
The third reason is that older machines with old CPU/FPU accelerator boards (A2000 and friends) may do their own strange stuff to configure the FPU and hook into the operating system to do their own FPU state save/restore operations. These may even ship with their own specific versions of these libraries, and this stuff is easily broken.
In so many words, the math libraries are a sticky bundle of assorted troubles. Some of this could be resolved by testing and making changes as necessary, but I doubt it's a worthwhile exercise for so little gain. Anyway, if you're looking for trouble, look no further than these libraries
