def __div__(self, other):
if isinstance(other, numbers.Number):<EOL><INDENT>return self.__class__({var: value / other for var, value<EOL>in iteritems(self._variables)},<EOL>self._offset / other)<EOL><DEDENT>return NotImplemented<EOL>
Divide by scalar