is a positive integer, which may be signed.  It can also be an
  index-name (or the identifier of an index data item) or an elementary
  numeric data item described as an integer.