Das liegt an den Maßeinheiten. Der Hersteller gibt im Dezimalsystem an, das Betreibssystem im Binärsystem.

Wenn du deine auf 100 GB Festplatte partitionierst, wird sie tatsächlich auf 100.000.000.000 Bytes gemacht. Wenn du jetzt eine neue Partition erstellen, wird ins Binärsystemeinheiten umgewandelt: 1 GB 1024 * 1024 * 1024 Bytes = 1.073.741.824 Bytes. Wenn du jetzt 100.000.000.000 Bytes durch 1.073.741.824 Bytes pro GB teilst, sind es 93,13 GB. Das ist deine tatsächliche Größe.