The min() function maps all integers to xs: decimal.

• min()函数将所有整数映射到xs:decimal。