工业上用一氧化碳还原赤铁矿（主要成分为 Fe₂O₃）炼铁：
3CO + Fe₂O₃ --高温--> 2Fe + 3CO₂
现用含 Fe₂O₃ 为 80% 的赤铁矿石冶炼，若要得到含铁 96% 的生铁 700 t，
理论上需要这种赤铁矿石多少吨？（结果保留一位小数）