真面目に答えてみたりして。(w

コンピュータって2の10乗の1024を単位にキロ/メガ/ギガと計算します。
1024バイト=1キロバイト
1024キロバイト=1メガバイト=1,048,576バイト
1024メガバイト=1ギガバイト=1,073,741,824バイト
ところがHDDは伝統的に1000バイト単位で計算します。
よって15ギガのHDDは約15,000,000,000バイト。（約ですよ、約）
これを「コンピュータ式」に計算すると、
15,000,000,000バイト÷1,073,741,824=13.969838619232177734375ギガバイト

で、約13.9ギガ、となるわけで。