実際のところ
たとえば"0F"といった感じの値で出力されてくる場合、
文字列の頭に"0x"とつけて、printfで出力してやれば10進数になります。
$ awk 'BEGIN { val="0x""0F"; printf "%d",val }' 15
演算してからの格納もOK
$ awk 'BEGIN { val="0x""0F"; val=val+ "0x01"; printf "%d",val }' 16 $ awk 'BEGIN { val="0x""0F"; val=val+ 1; printf "%d",val }' 16