Decimal numbers

Hello!
First of all thank you for providing us with such an amazing tool,
I have a question about decimal numbers.
Is there a way to rename a png sequence of a 3D object according to it's angle?

I have 72 frames, that need to be named as an angle. (_angle_0.0 , _angle_-5.0 , _angle_-10.0)

I can rename it without float, and manually add "." to every file but that would take a lot of time.

---NEVERMIND GOT IT---

---