Re: [basex-talk] basex failed to cast large numbers as xs:integer