More specs for multiplication.
Move the multiplication algorithm to the arithmetic mixin.