Yep, we made the QED-993 among others. Our primary customer for the QED-993 ran RSX and did not need Floating point, so as a result, that model typically didn't have floating point, even though it mostly emulated the J-11 processor. The details of the RSTS processor identification routine have...