[FIX] XQuery, format-number: chop fractional part