real-valued - German English Dictionary