We allow "an implementation violation" for inexact non-real to exact,
since implementations may not support ratios, but require implementations
to support both exact and inexact complex. This may be too strong a
I agree; we should allow an implementation to support not having exact complex numbers.
On re-reading the text, I think it can be inferred that the disclaimer
also applies to complex numbers, despite the preceding statement
so there doesn't seem to be anything to change here, except
potentially as an editorial clarification if someone comes up
with better wording.