A TV set originally cost 10,000 yuan each, but now it has been discounted by 25%. How much is it now?
一种电视机，原来每台10000元，现在打了二五折，现在多少元？
<gadget id="calculator">25 / 100</gadget>
<output>1/4 = around 0.25</output>

<gadget id="calculator">10_000 * (1/4)</gadget>
<output>2_500</output>

<result>2_500</result>