How much is the price of a jacket with an original price of 100 yuan when it is sold at a 15% discount?
一件原价100元的上衣，八五折销售时售价是多少元．
<gadget id="calculator">85 / 100</gadget>
<output>17/20 = around 0.85</output>

<gadget id="calculator">100 * (17/20)</gadget>
<output>85</output>

<result>85</result>