Complex numbers: multiplication and division (#9532) - Basecamp