affinely extended real numbers