floats in comment via message

Hello,

How do I get rid of the zeros in a float, when I want to display a float in a comment, by sending a message to it

When I have a message like "proc 8.5" and use [prepend set] I get "proc 8.50" in the comment.
If I use [tosymbol] the result get's even worth -> "proc 8.5000"

Any possibility to get 8.5 ?

Thanks,

Frank