Author here if anyone has questions...
I found it a bit surprising that as a 45-year old chip, there is no public information of its microcode. I guess hardware is indeed much more secret than software.
There's almost no public information on the 8087 microcode, but I'm working on that :-)