absolute value of a real number - German English Dictionary