Как производить вычисления с шестнадцатеричными числами с помощью awk?

У меня есть файл, содержащий список шестнадцатеричных чисел, как 0x12345678 по одному в строке.

Я хочу произвести на них вычисления. Для этого я подумал об использовании awk . Но если распечатать шестнадцатеричное число с помощью awk легко с помощью функции printf , то я не знаю ' t найти способ интерпретировать шестнадцатеричный ввод, отличный от текста (или 0 , преобразование в целое число останавливается на x ).

awk '{ print $1; }'                     // 0x12345678
awk '{ printf("%x\n", $1)}'             // 0
awk '{ printf("%x\n", $1+1)}'           // 1                 // DarkDust answer
awk '{ printf("%s: %x\n", $1, $1)}'     // 0x12345678: 0

Можно ли распечатать, например, значение +1?

awk '{ printf(%x\n", ??????)}'          // 0x12345679

Edit : Приветствуются лайнеры на других языках! (если разумная длина ;-))