Ну да, ну да... Часть этих гигОбайт уходит под систему -- она просто их не индексирует. А большей части просто не существует -- производители считают в каждом килобайте 1000 байт, в каждом мегабайте 1000 килобайт и т.д. А компьютер считает по двоичной системе -- 1024. Вот и разница набегает.