A NBR-tree is a tagged (Pico) integer number. The NBR_VAL_idx is the index to access the number value of the tree. E.g., if nn is a number tree, then we can select the underlying number of that tree with the expression nn[NBR_VAL_idx].