John R. Hogerhuis Wed, 17 Jul 2019 10:31:38 -0700
Ah, all good points! I didn't figure the ROM used IEEE floating point, but I didn't realize how different it was!
-- John.