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