class Integer

  #
  # Encodes the Integer as a shell character.
  #