Aunt Li has taken a fancy to a suit whose original price is 1,000 yuan. Now the shopping mall has a 20% discount. How much did she actually pay for this suit?
李阿姨看中了一套套装原价1000元，现在商场八折优惠，她买这套套装实际付多少元．
<gadget id="calculator">80 / 100</gadget>
<output>4/5 = around 0.8</output>

<gadget id="calculator">1_000 * (4/5)</gadget>
<output>800</output>

<result>800</result>