I've been reading about adic spaces, and I couldn't help but wonder what would happen to the theory if one included in the definition of $Spa$ Archimedean valuations as well...?
Is there a weird Arakelov-type cousin of adic spaces? Would there be any merit for such a thing?