What Are Distinct Real Numbers