All real numbers notation