80GiBは何GBですか？

80GiB = 85.8993GB

85.8993GBなので86GBと言っても差し支えありません — 誤差は0.5%以内です。