The round() function maps integer values to xs: decimal.

• round()函数将整数值映射为xs:decimal。