This function creates a new constrained expression equal to the absolute value of its constrained argument exp. The effects of this function are reversible.

If its argument is a numeric expression (for example, an ordinary floating-point number), this function simply returns the absolute value of its argument.