How many kilograms is half of 10 tons?
10吨的一半是多少千克．
<gadget id="calculator">1_000 / 2</gadget>
<output>500</output>

<gadget id="calculator">10 * 500</gadget>
<output>5_000</output>

<result>5_000</result>