An NXP support rep confirmed the part used does has an FPU. I'll be trying *BSD and see if I can detect it from there. I'm going to try to find a spare 2.5 SCSI drive, though, since I don't want to blow away my OS 8.1 setup. I've got my CF adapter Microdrives, but they aren't bootable by the Powerbook.