August 3, 2023: What Are The Real Numbers?