Extended Real Number Line