Change numeric comparison from double-based to decimal-based#2562

GuntherRademacher wants to merge 1 commit intoBaseXdb:mainBaseXdb/basex:mainfrom

GuntherRademacher:numeric-comparisonGuntherRademacher/basex:numeric-comparisonCopy head branch name to clipboard