[FIX] XQuery, format-number: detection of fractional part