format-number() function can format a number.

A picture string is used: #.00

The full specification is from the Java class java.text.DecimalFormat or in the book.

Example

format-number("5.5","#.00") →  5.50