If a number is enlarged by 100 times and then reduced to its (1/1000) result is 0.25, what is this number?
一个数扩大100倍后又缩小到它的(1/1000)的结果是0.25，这个数是多少．
<gadget id="calculator">1_000 / 100</gadget>
<output>10</output>

<gadget id="calculator">0.25 * 10</gadget>
<output>2.5</output>

<result>2.5</result>