实数的扩展