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