Disk space arithmetic