abs
abs : (real -> real)
purpose: to compute the absolute value of a real number