What is the number obtained by moving the decimal point of 12.872 three places to the right and one place to the left
12.872的小数点向右移动三位，再向左移动一位得到的数是多少
<gadget id="calculator">1_000 / 10</gadget>
<output>100</output>

<gadget id="calculator">12.872 * 100</gadget>
<output>1_287.2</output>

<result>1_287.2</result>