[cfp-interest 3743] division of a real by a complex

[Paul Zimmermann]

       Hi,

we had this question on the GNU MPC list: how should the division of a
real number by a complex number be defined? In particular (-1)/(+0 + 1*i)?

See the thread starting at
https://sympa.inria.fr/sympa/arc/mpc-discuss/2025-12/msg00000.html

In GNU MPC, we convert the real number to a complex number with a +0
imaginary part, and then call complex division.

Is there any other definition that makes more sense?

Paul