How to get an attribute as an integer >=1 with XPath?

Let say that I got this XML:

Generate an array containing some `null` values with XPath 3.1

I have a map whose keys represent an array index:

How to generate a JSON string with XPath 3.1

I have some text in a node, for example: