Apparently after that you need to run "volrmmount floppy" so the system notices that's there is a floppy in the drive, and then you can format it. That is, if my new old stock floppies don't all give crc errors at some point. The first two out of 50 failed to format...