Redefining arithmetic operations