los samsung de los 16gb hacen 2 particiiones, una para sistema que normalmente son 2-2.5gb, pero se ve que en el caso del s4, al tener tantas mierdas la rom stock, se ve han necesitado 4gb, con lo que de almacenamiento externo quedan los 9 gb y pico que dices.