A number is first enlarged by 100 times, and then reduced by 1000 times to get 1200. What is the number?
一个数先扩大100倍，再缩小1000倍是1200，这个数是多少．
<gadget id="calculator">1_000 / 100</gadget>
<output>10</output>

<gadget id="calculator">1_200 * 10</gadget>
<output>12_000</output>

<result>12_000</result>