"hyperreal number" Deutsche bedeutung