Comment 0 for bug 309455

  a.
  ANSI allows types `(COMPLEX ,FOO) to use very hairy values for
  FOO, e.g. (COMPLEX (AND REAL (SATISFIES ODDP))). The old CMU CL
  COMPLEX implementation didn't deal with this, and hasn't been
  upgraded to do so. (This doesn't seem to be a high priority
  conformance problem, since seems hard to construct useful code
  where it matters.)

  [ partially fixed by CSR in 0.8.17.17 because of a PFD ansi-tests
    report that (COMPLEX RATIO) was failing; still failing on types of
    the form (AND NUMBER (SATISFIES REALP) (SATISFIES ZEROP)). ]

  b. (fixed in 0.8.3.43)