print(string.format("%.4f", 25.3333))

--https://pt.stackoverflow.com/q/146161/101