My mother bought an electronic dictionary through Xiaodan. The original price was 1,300 yuan. Now the store is selling it with a 10% discount. How much did you spend to buy this electronic dictionary?
妈妈经小丹买了一个电子辞典，原价1300元，现在商店打九折销售，买这个电子辞典用了多少元？
<gadget id="calculator">90 / 100</gadget>
<output>9/10 = around 0.9</output>

<gadget id="calculator">1_300 * (9/10)</gadget>
<output>1_170</output>

<result>1_170</result>