There are about 1.25 billion people in our country, and if each person saves 1 dime, how many yuan can be saved in total.
我国大约有12.5亿人，每人节约1角钱，一共可以节约多少万元．
<gadget id="calculator">0.1 * 12.5</gadget>
<output>1.25</output>

<gadget id="calculator">1.25 * 10_000</gadget>
<output>12_500</output>

<result>12_500</result>