The builtin times calls +.
The builtin times calls +. Ideally we'd like to use growing addition, but we're relying on typeclasses and the default + for UInt, SInt, etc. is wrapping. Thus, we're making an escape hatch just for the default (non-context) complex multiply.
the sum of l and r, preferrably growing