该函数创建一个新的受约束表达式，等于其受约束参数 "exp的绝对值。 该功能的效果是可逆的。

如果参数是数字表达式（例如普通浮点数），该函数只返回参数的绝对值。