Xiaojun and his father travel abroad. Dad buys a train ticket for 5 yuan, and Xiaojun buys half the ticket. How much will they have to pay for the round trip?
小军跟爸爸到外地旅游，爸爸买一张火车票是5元，小军买半票，他们来回一共要付多少元？
<gadget id="calculator">5 / 2</gadget>
<output>5/2 = around 2.5</output>

<gadget id="calculator">(5/2) + 5</gadget>
<output>15/2 = around 7.5</output>

<gadget id="calculator">(15/2) * 2</gadget>
<output>15</output>

<result>15</result>