Integer multiplication (#8654) - Basecamp