Add a note saying that 1@2 and (make-polar 1 2) MAY evaluate to an inexact complex number.
We voted yes.
We voted yes.