La codificación de la función valor absoluto para valores enteros es sencilla: