T. S. dos Reis, “Construction of the Transreal Numbers from Hyperreal Numbers”, Transmath, Jul. 2021.