[FIX] XQuery, format-date/time: output of fractional seconds ([f])