Mom buys a coat, the original price is 1000 yuan, and the store offers a 15% discount, how much does it cost to buy this coat?
妈妈买了一件大衣，原价是1000元，商店促销打八五折，购买这件大衣需要多少钱？
<gadget id="calculator">85 / 100</gadget>
<output>17/20 = around 0.85</output>

<gadget id="calculator">1_000 * (17/20)</gadget>
<output>850</output>

<result>850</result>