floats in comment via message

    Aug 10 2011 | 9:15 pm
    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 ?