The original price of an electric car is 3,800 yuan, how much is it if you sell it at a 10% discount?
电动车原价3800元，按九折出售是多少元？
<gadget id="calculator">90 / 100</gadget>
<output>9/10 = around 0.9</output>

<gadget id="calculator">3_800 * (9/10)</gadget>
<output>3_420</output>

<result>3_420</result>