OK. Thanks to both of you!

I can't find any mention of the round() function in the online manual.