Definition:Extended Real Number Space