The stone factory shipped a batch of stone materials, 25.3 tons were used, and the rest was 2.5 times what was used. How many tons are there in total for this batch of stones?
石料厂运来一批石料，用去25.3吨，剩下的是用去的2.5倍．这批石料一共有多少吨？
<gadget id="calculator">25.3 * 2.5</gadget>
<output>63.25</output>

<gadget id="calculator">63.25 + 25.3</gadget>
<output>88.55</output>

<result>88.55</result>