First expand a decimal by 100 times, and then reduce it by 1000 times. The result is 1.25. What is the original number?
把一个小数先扩大100倍，再缩小1000倍，结果是1.25，原来这个数是多少．
<gadget id="calculator">1.25 * 10</gadget>
<output>12.5</output>

<result>12.5</result>