Re: [basex-talk] XPST0003 for decimal formats without any properties