[FIX] Exact bounds checking for `xs:integer` operations.
Merge pull request #942 from LeoWoerteler/gh-760

Exact bounds checking for `xs:integer` operations.
[ADD] GUI, Preferences: default file filter
Merge branch 'stable' of github.com:BaseXdb/basex into stable
Merge branch 'stable'