@graveolens @FedericoArdila @hypergeometer There's also Shamos' Catalog of the Real Numbers euro.ecom.cmu.edu/people/faculty…