800k 3.5 inch floppies were (and still can be) used on Risc OS computers. They used a format called ADFS. ADFS was later upgraded to hold 1.6Mb, that extra space doesn't mean much nowadays when most software is measured in Megs or Gigs, but at the time a few extra K made all the difference.