int turns values into integer. So multiply value by 10, int object, divide by 10 will get you one decimal place (or something like that). Then send to screen.
You can also check the [makefilename] object which is useful for formatting things other than filenames. (To get only one digit after the decimal point you can use a format string such as %.1f)