The original price of a washing machine is 1,000 yuan. If it is sold at a 15% discount, what is the current price?
一台洗衣机原价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>