code: def slt(self, other):
          
          self._check_match(other)
          return self.to_sint() < other.to_sint()
docs: Compares two equal-sized BinWords, treating them as signed
          integers, and returning True if the first is smaller.