Do you mean around 13GB available not encluding the OS firmware, what i know is that 16GB (decimal) shown by the OS as 14.5 (Binary), The OS takes 2GB, "Other" files took 1GB, So i think the available is 11.5GB which is really small... I dont know why WP firmware is much bigger than Android firmware, also WP Apps are bigger than Android Apps.