Where are the 4 GB internal memory

Regarding to the 4GB internal memory:


 * around 800MB are available for personal datas: photos, videos, music...etc. Unclear why a system file blocks 50% of this space (see preinstall/check1.bin)


 * around 1.7GB are available for games and apps download and


 * around 1.3GB are occupied by the system.