\ABSVALUE{-1.256}{\sol} $\left\vert-1.256\right\vert=\sol$