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