[Git][ghc/ghc][wip/jeltsch/textual-bytecode-output] Make word literals and variable offsets output in decimal