The average weight of each student is 25 kg, how many students weigh 1 ton.
平均每个同学体重25千克，多少名同学重1吨．
<gadget id="calculator">1_000 / 25</gadget>
<output>40</output>

<gadget id="calculator">1 * 40</gadget>
<output>40</output>

<result>40</result>