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: Ubuntu 22.04.3 LTS Release: 22.04 Codename: jammy
input.xml: <a xmlns:C="p"> <C:A id="1">1458820431</C:A>1438466813 </a>
query.xq: //*[not(. castable as xs:integer)]
Reproduce: java -cp basex-core/target/basex-11.0-SNAPSHOT.jar org.basex.BaseX -i input.xml query.xq
It printed out <a xmlns:C="p"> <C:A id="1">1458820431</C:A>1438466813 </a>
While basex should return empty, as both 1458820431 and 1438466813 are integers.
Max Zhang