extended real number system - German English Dictionary