Windows10(64bit版だけ)のISOイメージをMicrosoftサイトからダウンロードしたところ、ファイルサイズは4,305,780,736バイトだった。4.01GBくらい。DVD-R片面1層メディアの容量をすっかり忘却していたので、どれくらいだったっけ……と思って調べたところ4.7GBだったので充分納まるサイズだ。