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.