The canteen used 5 tons of 100 kilograms of coal in June, saving 1 ton and 20 kilograms compared with May. How many tons of coal was used in May? (calculated with decimals)
食堂六月份用煤5吨100千克，比五月份节约1吨20千克，五月份用煤多少吨？(用小数计算)
<gadget id="calculator">5.1 + 1.02</gadget>
<output>6.12</output>

<result>6.12</result>