Es sind genau 2556MB, laut meinem Windows XP-32bit-Rechner, in dem ja hardwareseitig 4GB stecken, also recht genau 2,5GB.