Annotate most of multiplication and speed up negation