added __mul__ and __div__