We’re now at one of those functions that I’ve never seen used.  The upgraded-complex-part-type function returns the most specialized type that can hold the passed type and be part of a complex number representation.  I don’t really have much to say about this.  It receives a subtype of real, and returns a subtype of real.  If somebody has actually used this in real code, please let me know in the comments.