The difference between what the OS reports and the marketing info on the product (GBs of difference) is almost entirely due to the different units used, because the filesystem overhead will only be MBs in size.

Also the filesystem overhead is not lost or missing from the disk, you’re just using it