That's a great paper! I really appreciate you finding that; it was a great read and does go further in depth than the funcChar docs.

It unfortunately doesn't seem to disambiguate the specific question of if floating point execution units were implemented via microcode unless I'm missing it.