Dad bought a mobile phone for Xiaotong. The original price was 1300 yuan, and now it is on sale at a 10% discount. How much did you pay for this mobile phone?
爸爸给小彤买了一个手机，原价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>