“A Constructive Path to the Hyperreal Numbers from Sequences of Naturals,” Asher Grizzaffi, Dr. Dustin Potter, hopefully published soon.