> Floppy disks are tech from the US though, and everything about them is hence in inches, from physical specs to tech specs, so the metric docs translate the units.

Do read the specs someone else linked in this thread. All major dimensions are even metric measurements and thus are not even imperial measurements.