class token_global(token):
  """ number token """

  def __init__(self, value):
    token.__init__(self, GLOBAL)