extended real number system - Deutsch Englisch Wörterbuch