>>81
ウィキペディアだと、1立方km/10億トンの氷塊となっているので、数字自体は原作からっぽいですね
それでも、体積の割にやたら重そうというか、実質金属塊ではと
地球でも平均密度5.5ですし