[basex-talk] format-number rounding

Hi there, I was wondering if there is a similar function to format-number, but without rounding, so I don't have to create a custom one that involves string manipulation.

For example I have two values: let $x := <value>15.224134</value> let $y := <value>15.2249348734</value>

The following command will create different output for the two values (result for $x will be 15.224, result for $y will be 15.225)

format-number(xs:decimal($x), "0.000"))

Thanks,

George