Carlos is spreading mulch in a circle on top of an area where he has planted some seeds. He has enough mulch to cover an area that is 12.5 square feet. How much rubber edging does Carlos need to encircle the mulch that will cover the seeds?