0.125 is expanded to 1000 times, and then multiplied by 0.1, what is the product?
0.125扩大到它的1000倍，再乘以0.1，积是多少．
<gadget id="calculator">0.125 * 1_000 * 0.1</gadget>
<output>12.5</output>

<result>12.5</result>