Realno število: Razlika med redakcijama