https://anayah-humphries.blogspot.com/2021/03/real-numbers.html