extended real number system - Spanish English Dictionary