将值转换为十进制数字结果

Question

正在寻找专家帮助，我将数字显示为2，但希望将其显示为2.0，好像它是2.5，那么这很好，我只想显示2.5。

我正在使用xquery版本“ 1.0”；

我正在尝试使用format-number函数，但似乎在1.0版中不支持

<ns0:value>{data($InputNumber/ns0:count)}</ns0:value>

如果计数为2 那么它应该显示为

<ns0:value>2.0</ns0:value>

如果count是一个十进制值2.5，则应该是这样

请忠告

Answer 1

您应该能够检查输入字符串是否包含点，否则可以在末尾附加.0

let $in:=data($InputNumber/ns0:count)
return if (contains($in, '.')) then $in else concat($in, '.0')