code: def is_top(self):
          
          return (self.stride == 1 and
                  self.lower_bound == self._modular_add(self.upper_bound, 1, self.bits)
                  )
docs: If this is a TOP value.
  
          :return: True if this is a TOP