Times, Div, Not and Neg implemented