XQuery: format-number: using $decimal-format-name is really, really weird