Respostas:
Para mim, a partição Mavericks usa 5,36 GB (5.355.311.104 Bytes) (por Utilitário de Disco). São 4,98 GB em tipos "binários" da velha guarda como eu (4,98 GiB).
Isso está sujeito a alterações, dado a sobrecarga da partição, o tamanho do bloco, uma versão do Mavericks. Então eu alocar um pouco mais para a partição.