Make 'Complex(Integer)' into UniqueFactorizationDomain.
Authored by: whebisch 2009-11-27
Parent: [r739]
Child: [r741]