I only ever saw one machine with one of those in though and of course it was at school, running useless software for us
Though Wikipedia lists quite wide range of sizes none at 512KB.
https://en.wikipedia.org/wiki/Floppy_disk#Sizes,_performance...
Though it all happened in a few years, when the 3.5 came out most if not all the 5.25 were already 1.2MB, and the first 3.5 were advertised for their robustness, not for their capacity (which was initially inferior).
https://www.webcommand.net/index.php/2019/07/31/does-anyone-...
My father drove me to a company that had their used system for sale. It was embedded in a desk, the screen was minuscule.
I don't know what impressed me more: that when I asked (politely, looking for a reason to walk without offending the seller) how much memory it had, they started counting bytes included in the manual, or the 8'' floppies. Those were big.
5.25" disks were 40 track, 9 sectors per track with 512 byte sectors for 180KB per side. For 3.5" disks, the definition was 80 track so 360KB per side.
High-density increased the number of sectors per track to 15 for 5.25" (600KB per side) and to 18 for 3.5" (720KB per side).