A dictionary with a 20% discount is 7.2 yuan. What is the original price?
一本字典八折销售是7.2元，原价是多少元．
<gadget id="calculator">80 / 100</gadget>
<output>4/5 = around 0.8</output>

<gadget id="calculator">7.2 / (4/5)</gadget>
<output>9</output>

<result>9</result>