Added the arithmetical operator '*'