海词手机词典
  • round()函数将整数值映射为xs:decimal。