[MOD] XQuery: pimped rounding of numeric values