>>3
Hard disk vendors bullshit about them.
>>4
Those are not GigaBytes, and there is no such thing as "OS GigaBytes". A "GigaByte", without adjectives, is 2^30 Bytes, and is abbreviated GB (i.e. uppercase). Everything else is (most often intentionally) incorrect.