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

Hi Max, Thanks for your report. The behavior is correct, but I agree it’s surprising: • //* returns two results: and • the atomized value of is '14588204311438466813'. This value exceeds the BaseX limit for integers (2^64), which is why [not(. castable as xs:integer)] returns true for this

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

Hi, I found a bug in basex. Version: 1ce0618 (2024.02.22) Java: openjdk 17.0.9 2023-10-17 LTS OpenJDK Runtime Environment Corretto-17.0.9.8.1 (build 17.0.9+8-LTS) OpenJDK 64-Bit Server VM Corretto-17.0.9.8.1 (build 17.0.9+8-LTS, mixed mode, sharing) OS: Distributor ID:Ubuntu Description: