On Children's Day, Xinhua Bookstore will sell some children's books with a 20% discount. What is the current price of the original 16 yuan book?
六一儿童节，新华书店将部分儿童读物打八折优惠销售，原来16元的书籍现在的售价谁多少？
<gadget id="calculator">80 / 100</gadget>
<output>4/5 = around 0.8</output>

<gadget id="calculator">16 * (4/5)</gadget>
<output>64/5 = around 12.8</output>

<result>64/5 = around 12.8</result>