Hello,

The behavior of some procedures on complexes is not completely clear in
the
text, maybe they could be clarified:

- round-away (work on each part separately or reject? The implementation
   rejects just because it calls "negative?" on the argument)
- ordered? (the spec says two real numbers. What if they are complexes?
Or
   even arbitrary objects?)
- sign-negative? (if at least one part has negative sign, return #t? Or
reject
   the complex? The implementation rejects, but the text doesn't say it)
- nonzero? (returns #t for complex != 0? From the definition it seems to
   be yes, but it's not stated in the text)

J.