ensure coerce only applies to multiplication

If addition doesn't make any sense then neither does multiplication. Multiplication is, in essence, [equivalent](1) to the addition of one number with itself as many times as the value of the other number. How can we support the multiplication without addition? How is multiplication different (in terms of semantics)?