Fixups of discussion complex and real numbers

Thanks to Matthieu Romagny and Antoine Chambert-Loir
http://stacks.math.columbia.edu/tag/09I4#comment-1097
http://stacks.math.columbia.edu/tag/09I4#comment-1098