Da stimme ich Mittwoch zu.
Die "31,4GB" sind einfach zu makaber für einen Zufall oder für Willkür.
Viele Festplatten dieser Größe haben einen Jumper, mit dem sich die Kapazität auf 32GB reduzieren lässt.
Ältere BIOSe erkennen nur Festplatten bis 32GB. Es kann also sein, dass selbst bei richtiger Jumperung die HDD vom BIOS nur als 32GB-HDD erkannt wird.