5.4 times of a number is 12.42, how much is 3.1 times of this number.
一个数的5.4倍是12.42，这个数的3.1倍是多少．
<gadget id="calculator">12.42 / 5.4</gadget>
<output>2.3</output>

<gadget id="calculator">2.3 * 3.1</gadget>
<output>7.13</output>

<result>7.13</result>