17.5 tons is much less than 20 tons.
17.5吨比20吨少多少．
<gadget id="calculator">20 - 17.5</gadget>
<output>2.5</output>

<gadget id="calculator">2.5 / 20</gadget>
<output>0.125</output>

<result>0.125</result>