Edited due to reading post wrong:
The average 3d game now is 400 mb. Even with the smaller card and 2d games, average is over 30mb. If no game playing, 9gb should be fine.
Depending on the Android version, some phones list only what is in the system allocation and the rest in the internal "sd" mapped storage. The total of both allocations is the actual storage used in that case.